Searched refs:disjunction1_rule (Results 1 – 1 of 1) sorted by relevance
344 def disjunction1_rule(m, s): function346 m.disjunction1 = Disjunction(m.s, rule=disjunction1_rule)