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.