forge.translate
Class RelationalModel.DomainRelations
java.lang.Object
forge.translate.RelationalModel.DomainRelations
- Enclosing class:
- RelationalModel
public static final class RelationalModel.DomainRelations
- extends java.lang.Object
Relations created for an InstanceDomain.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
createRelation
public kodkod.ast.Relation createRelation()
firstRelation
public kodkod.ast.Relation firstRelation()
orderRelation
public kodkod.ast.Relation orderRelation()
initialRelation
public kodkod.ast.Relation initialRelation()
literalsExpr
public kodkod.ast.Expression literalsExpr()
extentExpr
public kodkod.ast.Expression extentExpr()