rationals.properties

Interfaces

• BinaryTest
• Relation
• UnaryTest

Classes

• Bisimulation
• ContainsEpsilon
• isEmpty
• isNormalized