forge.translate
Class RelationalModel.StmtRelations

java.lang.Object
  extended by forge.translate.RelationalModel.StmtRelations
All Implemented Interfaces:
java.lang.Iterable<java.util.Map.Entry<ForgeExpression.Modifiable,kodkod.ast.Relation>>
Enclosing class:
RelationalModel

public static final class RelationalModel.StmtRelations
extends java.lang.Object
implements java.lang.Iterable<java.util.Map.Entry<ForgeExpression.Modifiable,kodkod.ast.Relation>>

Relations created for a statement.


Method Summary
 java.util.Iterator<java.util.Map.Entry<ForgeExpression.Modifiable,kodkod.ast.Relation>> iterator()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

iterator

public java.util.Iterator<java.util.Map.Entry<ForgeExpression.Modifiable,kodkod.ast.Relation>> iterator()
Specified by:
iterator in interface java.lang.Iterable<java.util.Map.Entry<ForgeExpression.Modifiable,kodkod.ast.Relation>>