LogicalMatchingAutomaton

fauto.spad line 195 [edit on github]

This domains provides boolean combination of nondeterministic finite automatons.

convert: BasicMatchingAutomaton -> %

convert(a) creates automaton matching if and only if a matches.

do_match: (%, String) -> Boolean

do_match(a, s) returns true if and only if a matches s.

make_and: List % -> %

make_and(la) creates automaton matching if and only if all a in la match.

make_not: % -> %

make_not(a) creates automaton matching if and only a does not match.

make_or: List % -> %

make_or(la) creates automaton matching if and only if any a in la matches.