Searched refs:condition_constraint (Results 1 – 2 of 2) sorted by relevance
285 condition_constraint = new_constraints.conjucts[-1]302 assert isinstance(condition_constraint.lhs, BVar)303 assert is_bool_expr(condition_constraint.rhs)304 condition_constraint_rhs = condition_constraint.rhs
693 ComputationLayoutConstraint* condition_constraint = in AddMandatoryConstraints() local697 condition_constraint->computation_layout(); in AddMandatoryConstraints()726 condition_constraint->ResetComputationLayout( in AddMandatoryConstraints()