Uses of Class
edu.mit.csail.sdg.alloy4.Pair

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.