forge.translate
Class RelationalModel.StmtRelations

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