コード例 #1
0
def i_disjunctionExpressionConstraint(ss: Substrate, decr: disjunctionExpressionConstraint) -> Sctids_or_Error:
    return applyToSequence(ss, i_subExpressionConstraint, union, decr)
コード例 #2
0
def i_conjunctionExpressionConstraint(ss: Substrate, cecr: conjunctionExpressionConstraint) -> Sctids_or_Error:
    return applyToSequence(ss, i_subExpressionConstraint, intersect, cecr)