Exemplo n.º 1
0
def i_disjunctionExpressionConstraint(ss: Substrate, decr: disjunctionExpressionConstraint) -> Sctids_or_Error:
    return applyToSequence(ss, i_subExpressionConstraint, union, decr)
Exemplo n.º 2
0
def i_conjunctionExpressionConstraint(ss: Substrate, cecr: conjunctionExpressionConstraint) -> Sctids_or_Error:
    return applyToSequence(ss, i_subExpressionConstraint, intersect, cecr)