forge.translate
Class RelationalModel.DomainRelations

java.lang.Object
  extended by forge.translate.RelationalModel.DomainRelations
Enclosing class:
RelationalModel

public static final class RelationalModel.DomainRelations
extends java.lang.Object

Relations created for an InstanceDomain.


Method Summary
 kodkod.ast.Relation createRelation()
           
 kodkod.ast.Expression extentExpr()
           
 kodkod.ast.Relation firstRelation()
           
 kodkod.ast.Relation initialRelation()
           
 kodkod.ast.Expression literalsExpr()
           
 kodkod.ast.Relation orderRelation()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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()