jmodelgen.util

Classes

• AbstractDomain
• AbstractDomain.Binary
• AbstractDomain.Nary
• AbstractDomain.Ternary
• AbstractDomain.Unary
• Domains
• Domains.Adaptor
• IterativeGenerator
• Pair