forge.translate
Class RelationalModel
java.lang.Object
forge.translate.RelationalModel
- All Implemented Interfaces:
- ProgramElement
public final class RelationalModel
- extends java.lang.Object
- implements ProgramElement
Stores the relations for the translator.
- Author:
- Greg Dennis (gdennis@mit.edu)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
program
public ForgeProgram program()
- Description copied from interface:
ProgramElement
- Returns the program to which this element belongs.
- Specified by:
program
in interface ProgramElement
boolRelation
public kodkod.ast.Relation boolRelation()
intRelation
public kodkod.ast.Relation intRelation()
domainRelations
public RelationalModel.DomainRelations domainRelations(InstanceDomain dom)
trueRelation
public kodkod.ast.Relation trueRelation()
falseRelation
public kodkod.ast.Relation falseRelation()
intConstant
public kodkod.ast.IntConstant intConstant(IntegerLiteral lit)
literalRelation
public kodkod.ast.Relation literalRelation(InstanceLiteral lit)
paramRelation
public kodkod.ast.Relation paramRelation(LocalVariable param)
globalRelation
public kodkod.ast.Relation globalRelation(GlobalVariable global)
stmtRelations
public java.lang.Iterable<java.util.Map.Entry<CFGStmt,RelationalModel.StmtRelations>> stmtRelations()