|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use A4Tuple | |
|---|---|
| edu.mit.csail.sdg.alloy4compiler.translator | This package contains the translator from Alloy4 to CNF (using kodkod). |
| Uses of A4Tuple in edu.mit.csail.sdg.alloy4compiler.translator |
|---|
| Methods in edu.mit.csail.sdg.alloy4compiler.translator that return types with arguments of type A4Tuple | |
|---|---|
java.util.Iterator<A4Tuple> |
A4TupleSet.iterator()
Returns a read-only iterator that iterates over each tuple in this TupleSet. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||