Uses of Class
org.clafer.collection.Pair

Packages that use Pair

Package	Description
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.
org.clafer.collection	This package provides various data structures common throughout the project.
org.clafer.compiler	This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.ir.analysis	This package provides various analysis and optimizations to perform on the IR.
org.clafer.javascript	This package provides classes for building Clafer models and invoking the solver via Javascript.

Uses of Pair in org.clafer.ast.analysis

Methods in org.clafer.ast.analysis that return Pair

Modifier and Type	Method and Description
Pair<AstConcreteClafer,Integer>	Analysis.getConcreteId(AstClafer clafer, int id)
Pair<AstRef,Integer>	Analysis.getInheritedRefId(AstClafer clafer)
Pair<AstClafer,Integer>	Analysis.getSubId(AstAbstractClafer clafer, int id)
Pair<AstAbstractClafer,Integer>	Analysis.getSuperId(AstClafer clafer, int id)

Methods in org.clafer.ast.analysis that return types with arguments of type Pair

Modifier and Type	Method and Description
List<Pair<AstClafer,Integer>>	Analysis.getHierarcyIds(AstClafer clafer, int id)
List<Pair<AstClafer,Integer>>	Analysis.getHierarcyOffsets(AstClafer clafer)
List<Pair<AstAbstractClafer,Integer>>	Analysis.getSuperIds(AstClafer clafer, int id)

Uses of Pair in org.clafer.collection

Methods in org.clafer.collection that return Pair

Modifier and Type	Method and Description
Pair<A,B>	Triple.getFstSnd()
Pair<B,C>	Triple.getSndThd()

Methods in org.clafer.collection with parameters of type Pair

Modifier and Type	Method and Description
static <A,B> A[]	Pair.mapFst(Pair<A,B>[] pairs, A... array) Returns the first element of the tuples in the same order.
static <A,B> B[]	Pair.mapSnd(Pair<A,B>[] pairs, B... array) Returns the second element of the tuples in the same order.

Method parameters in org.clafer.collection with type arguments of type Pair

Modifier and Type	Method and Description
static <A,B> List<A>	Pair.mapFst(List<Pair<A,B>> pairs) Returns the first element of the tuples in the same order.
static <A,B> List<B>	Pair.mapSnd(List<Pair<A,B>> pairs) Returns the second element of the tuples in the same order.

Constructors in org.clafer.collection with parameters of type Pair

Constructor and Description
Pair(Pair<? extends A,? extends B> pair)
Triple(A fst, Pair<? extends B,? extends C> pair)
Triple(Pair<? extends A,? extends B> pair, C thd)

Uses of Pair in org.clafer.compiler

Methods in org.clafer.compiler that return Pair

Modifier and Type	Method and Description
Pair<Integer,InstanceModel>[]	ClaferOptimizer.allInstances()
Pair<Integer,InstanceModel>	ClaferOptimizer.instance()
Pair<Set<AstConstraint>,InstanceModel>	ClaferUnsat.minUnsat() Compute the minimal set of constraints that need to be removed before the model is satisfiable.

Uses of Pair in org.clafer.ir.analysis

Methods in org.clafer.ir.analysis that return Pair

Modifier and Type	Method and Description
static Pair<IrIntExpr,IrSetVar>	AnalysisUtil.getAssignCardinality(IrBoolExpr expr)
static Pair<IrIntExpr,IrSetVar>	AnalysisUtil.getAssignCardinality(IrIntExpr left, IrIntExpr right)

Uses of Pair in org.clafer.javascript

Methods in org.clafer.javascript that return Pair

Modifier and Type	Method and Description
Pair<Set<AstConstraint>,InstanceModel>	JavascriptShell.minUnsat() Find the Min-Unsat and near-miss example.