Searched refs:simpledisj_rule (Results 1 – 1 of 1) sorted by relevance
431 def simpledisj_rule(disjunct): function444 m.simpledisjunct = Disjunct(rule=simpledisj_rule)