Python unlimitedNat Examples

Example #1

File: interpretations.py Project: sotty/FormalExpressionSpec

def i_optional_cardinality(ss: Substrate, max_: unlimitedNat, qore: Quads_or_Error) -> Set(sctId):
    return quads_for(qore).i_optional_cardinality(ss,
                                                  None if max_.inran('many') else int(max_.num),
                                                  quad_direction(qore) == source_direction)

Example #2

File: interpretations.py Project: sotty/FormalExpressionSpec

def i_required_cardinality(min_: N, max_: unlimitedNat, qore: Quads_or_Error) -> Set(sctId):
    return quads_for(qore).i_required_cardinality(int(min_),
                                                  None if max_.inran('many') else int(max_.num),
                                                  quad_direction(qore) == source_direction)