Uses of Class
org.clafer.collection.Triple

Packages that use Triple

Package	Description
org.clafer.collection	This package provides various data structures common throughout the project.
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 Triple in org.clafer.collection

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

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

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

Modifier and Type	Method and Description
static <A,B,C> List<A>	Triple.mapFst(List<Triple<A,B,C>> triples) Returns the first element of the tuples in the same order.
static <A,B,C> List<B>	Triple.mapSnd(List<Triple<A,B,C>> triples) Returns the second element of the tuples in the same order.
static <A,B,C> List<C>	Triple.mapThd(List<Triple<A,B,C>> triples) Returns the third element of the tuples in the same order.

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

Constructor and Description
Triple(Triple<? extends A,? extends B,? extends C> triple)

Uses of Triple in org.clafer.ir.analysis

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

Modifier and Type	Method and Description
static Triple<Map<IrIntVar,IrIntVar>,Map<IrSetVar,IrSetVar>,IrModule>	Coalescer.coalesce(IrModule module)

Uses of Triple in org.clafer.javascript

Methods in org.clafer.javascript that return Triple

Modifier and Type	Method and Description
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(File in)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(File in, org.mozilla.javascript.Scriptable engine)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(Reader in)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(String in)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(String name, File in, org.mozilla.javascript.Scriptable engine)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(String name, Reader in, org.mozilla.javascript.Scriptable engine)
static Triple<AstModel,Scope,Objective[]>	Javascript.readModel(String name, String in, org.mozilla.javascript.Scriptable engine)