|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Pair | |
---|---|
edu.mit.csail.sdg.alloy4compiler.ast | This package contains the definition of AST nodes. |
edu.mit.csail.sdg.alloy4compiler.parser | This package contains the compiler |
edu.mit.csail.sdg.alloy4compiler.translator | This package contains the translator from Alloy4 to CNF (using kodkod). |
Uses of Pair in edu.mit.csail.sdg.alloy4compiler.ast |
---|
Methods in edu.mit.csail.sdg.alloy4compiler.ast that return types with arguments of type Pair | |
---|---|
ConstList<Pair<java.lang.String,Expr>> |
Module.getAllAssertions()
Return an unmodifiable list of all assertions in this module. |
SafeList<Pair<java.lang.String,Expr>> |
Module.getAllFacts()
Return an unmodifiable list of all facts in this module. |
Uses of Pair in edu.mit.csail.sdg.alloy4compiler.parser |
---|
Methods in edu.mit.csail.sdg.alloy4compiler.parser that return types with arguments of type Pair | |
---|---|
ConstList<Pair<java.lang.String,Expr>> |
CompModule.getAllAssertions()
Return an unmodifiable list of all assertions in this module. |
SafeList<Pair<java.lang.String,Expr>> |
CompModule.getAllFacts()
Return an unmodifiable list of all facts in this module. |
Uses of Pair in edu.mit.csail.sdg.alloy4compiler.translator |
---|
Methods in edu.mit.csail.sdg.alloy4compiler.translator that return Pair | |
---|---|
Pair<java.util.Set<Pos>,java.util.Set<Pos>> |
A4Solution.highLevelCore()
If this solution is unsatisfiable and its unsat core is available, then return the core; else return an empty set. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |