def maximalP(self, aut, U=None):
"""Tests if the language is maximal w.r.t. the property
:param DFA|NFA aut: the automaton
:param DFA|NFA U: Universe of permitted words (Sigma^* as default)
:rtype: bool"""
t = infixTransducer(aut.Sigma, True)
a = aut.dup().star()
return (~(t.runOnNFA(a))).emptyP()
def buildInfixProperty(alphabet):
""" Builds a Suffix Code Property
:param set alphabet: alphabet
:rtype: PrefixProp"""
return InfixProp(infixTransducer(alphabet))