def init_relation(self, models, relation):
        for model in models:
            model.set_relation(relation, Result(None, self, model))

        return models
Check if a clause is satisfied by the current variable setting.
dataset/ETHPy150Open sdispater/orator/orator/orm/relations/belongs_to.py/BelongsTo.init_relation--crossover with--dataset/ETHPy150Open sympy/sympy/sympy/logic/algorithms/dpll2.py/SATSolver._clause_sat