forge.translate
Class RelationalModel

java.lang.Object
  extended by 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)

Nested Class Summary
static class RelationalModel.DomainRelations
          Relations created for an InstanceDomain.
static class RelationalModel.StmtRelations
          Relations created for a statement.
 
Method Summary
 kodkod.ast.Relation boolRelation()
           
 RelationalModel.DomainRelations domainRelations(InstanceDomain dom)
           
 kodkod.ast.Relation falseRelation()
           
 kodkod.ast.Relation globalRelation(GlobalVariable global)
           
 kodkod.ast.IntConstant intConstant(IntegerLiteral lit)
           
 kodkod.ast.Relation intRelation()
           
 kodkod.ast.Relation literalRelation(InstanceLiteral lit)
           
 kodkod.ast.Relation paramRelation(LocalVariable param)
           
 ForgeProgram program()
          Returns the program to which this element belongs.
 java.lang.Iterable<java.util.Map.Entry<CFGStmt,RelationalModel.StmtRelations>> stmtRelations()
           
 kodkod.ast.Relation trueRelation()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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