Index (chocosolver 0.1-SNAPSHOT API)

$ A B C D E F G H I J K L M N O P Q R S T U V W X Z

$

$this() - Static method in class org.clafer.ast.Asts

A

AbstractOffsetAnalyzer - Class in org.clafer.ast.analysis
AbstractOffsetAnalyzer() - Constructor for class org.clafer.ast.analysis.AbstractOffsetAnalyzer
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstArithm
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstBoolArithm
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstCard
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstCompare
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstConstant
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstDifference
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstDowncast
accept(AstExprVisitor<A, B>, A) - Method in interface org.clafer.ast.AstExpr: Dynamic dispatch on the visitor.
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstGlobal: Dynamic dispatch on the visitor.
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstIfThenElse
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstIntersection
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstJoin
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstJoinParent
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstJoinRef
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstLocal: Dynamic dispatch on the visitor.
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstMembership
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstMinus
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstNot: Dynamic dispatch on the visitor.
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstQuantify
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstSetTest
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstSum
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstTernary
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstThis
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstUnion
accept(AstExprVisitor<A, B>, A) - Method in class org.clafer.ast.AstUpcast
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrAcyclic
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrAcyclic
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrAdd
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrAllDifferent
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrAllDifferent
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrAnd
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrAnd
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrArrayToSet
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrBoolChannel
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrBoolChannel
accept(IrBoolExprVisitor<A, B>, A) - Method in interface org.clafer.ir.IrBoolExpr: Dynamic dispatch on the visitor.
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrBoolVar
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrBoolVar
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrCard
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrCompare
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrCompare
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrCount
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrDiv
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrElement
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrFilterString
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrFilterString
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrIfOnlyIf
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrIfOnlyIf
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrIfThenElse
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrIfThenElse
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrImplies
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrImplies
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrIntChannel
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrIntChannel
accept(IrIntExprVisitor<A, B>, A) - Method in interface org.clafer.ir.IrIntExpr: Dynamic dispatch on the visitor.
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrIntVar
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrJoinFunction
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrJoinRelation
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrLone
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrLone
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrMask
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrMember
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrMember
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrMinus
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrMul
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrNot
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrNot
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrNotImplies
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrNotImplies
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrNotMember
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrNotMember
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrNotWithin
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrNotWithin
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrOffset
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrOne
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrOne
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrOr
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrOr
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSelectN
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSelectN
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSetDifference
accept(IrSetExprVisitor<A, B>, A) - Method in interface org.clafer.ir.IrSetExpr: Dynamic dispatch on the visitor.
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSetIntersection
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSetSum
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSetTernary
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSetTest
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSetTest
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSetUnion
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSetVar
accept(IrSetExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSingleton
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSortSets
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSortSets
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSortStrings
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSortStrings
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSortStringsChannel
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSortStringsChannel
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSubsetEq
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrSubsetEq
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrTernary
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrUnreachable
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrUnreachable
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrWithin
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrWithin
accept(IrBoolExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrXor
accept(IrIntExprVisitor<A, B>, A) - Method in class org.clafer.ir.IrXor
acyclic(IntVar...) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing no cycles.
acyclic(IrIntExpr[]) - Static method in class org.clafer.ir.Irs
add(AstSetExpr...) - Static method in class org.clafer.ast.Asts
add(Card) - Method in class org.clafer.ast.Card: Add two cardinalities together.
add(int) - Method in class org.clafer.collection.FixedCapacityIntSet
add(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
add(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
add(Collection<? extends IrIntExpr>) - Static method in class org.clafer.ir.Irs
add(IrIntExpr...) - Static method in class org.clafer.ir.Irs
add(IrDomain, int) - Static method in class org.clafer.ir.IrUtil
addAbstract(String) - Method in class org.clafer.ast.AstModel: Add a new abstract Clafer to the model.
addAll(Collection<? extends Integer>) - Method in class org.clafer.collection.FixedCapacityIntSet
addAll(TIntCollection) - Method in class org.clafer.collection.FixedCapacityIntSet
addAll(int[]) - Method in class org.clafer.collection.FixedCapacityIntSet
addChild(String) - Method in class org.clafer.ast.AstClafer: Add a new concrete child under this Clafer.
addChild(String) - Method in class org.clafer.ast.AstPrimClafer: Add a new concrete child under this Clafer.
addConstraint(AstBoolExpr) - Method in class org.clafer.ast.AstClafer: Add a new constraint under this Clafer.
addConstraint(AstBoolExpr) - Method in class org.clafer.ast.AstPrimClafer: Add a new constraint under this Clafer.
addConstraint(IrBoolExpr) - Method in class org.clafer.ir.IrModule
addConstraints(IrBoolExpr...) - Method in class org.clafer.ir.IrModule
addConstraints(Iterable<? extends IrBoolExpr>) - Method in class org.clafer.ir.IrModule
addEdge(V, V) - Method in class org.clafer.graph.KeyGraph
addMaximizeObjective(AstSetExpr) - Method in class org.clafer.javascript.JavascriptContext
addMinimizeObjective(AstSetExpr) - Method in class org.clafer.javascript.JavascriptContext
addNeighbour(Vertex<V>) - Method in class org.clafer.graph.Vertex: Add a new edge starting from this edge to the neighbour.
addUndirectedEdge(V, V) - Method in class org.clafer.graph.KeyGraph
addVariable(IrVar) - Method in class org.clafer.ir.IrModule
addVariables(IrVar...) - Method in class org.clafer.ir.IrModule
addVariables(Iterable<? extends IrVar>) - Method in class org.clafer.ir.IrModule
adjustDefaultScope(int) - Method in class org.clafer.scope.ScopeBuilder: Adjust the scope of unspecified Clafers.
adjustIntHigh(int) - Method in class org.clafer.scope.ScopeBuilder: Adjust the highest integer used for solving.
adjustIntLow(int) - Method in class org.clafer.scope.ScopeBuilder: Adjust the lowest integer used for solving.
adjustScope(AstClafer, int) - Method in class org.clafer.scope.ScopeBuilder: Adjust the scope of the Clafer.
advise(int, int) - Method in class org.clafer.choco.constraint.propagator.PropFilterString
advise(int, int) - Method in class org.clafer.choco.constraint.propagator.PropJoinFunction
advise(int, int) - Method in class org.clafer.choco.constraint.propagator.PropJoinFunctionCard
advise(int, int) - Method in class org.clafer.choco.constraint.propagator.PropJoinInjectiveRelationCard
advise(int, int) - Method in class org.clafer.choco.constraint.propagator.PropJoinRelation
all(AstDecl[], AstBoolExpr) - Static method in class org.clafer.ast.Asts
all(AstDecl, AstBoolExpr) - Static method in class org.clafer.ast.Asts
allDifferent(IrIntExpr[]) - Static method in class org.clafer.ir.Irs
allInstances() - Method in class org.clafer.compiler.ClaferOptimizer
allInstances() - Method in interface org.clafer.compiler.ClaferSearch
allInstances() - Method in class org.clafer.compiler.ClaferSolver
Analysis - Class in org.clafer.ast.analysis
AnalysisException - Exception in org.clafer.ast.analysis
AnalysisException(Throwable) - Constructor for exception org.clafer.ast.analysis.AnalysisException
AnalysisException(String, Throwable) - Constructor for exception org.clafer.ast.analysis.AnalysisException
AnalysisException(String) - Constructor for exception org.clafer.ast.analysis.AnalysisException
AnalysisException() - Constructor for exception org.clafer.ast.analysis.AnalysisException
AnalysisUtil - Class in org.clafer.ir.analysis
analyze(Analysis) - Method in class org.clafer.ast.analysis.AbstractOffsetAnalyzer
analyze(AstModel, Scopable, Analyzer...) - Static method in class org.clafer.ast.analysis.Analysis
analyze(AstModel, Scopable, List<Objective>, Analyzer...) - Static method in class org.clafer.ast.analysis.Analysis
analyze(Analysis) - Method in interface org.clafer.ast.analysis.Analyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.CardAnalyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.FormatAnalyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.GlobalCardAnalyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.OptimizerAnalyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.PartialIntAnalyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.PartialSolutionAnalyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.ScopeAnalyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.SymmetryAnalyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.TypeAnalyzer
analyze(Analysis) - Method in class org.clafer.ast.analysis.UnsatAnalyzer
Analyzer - Interface in org.clafer.ast.analysis
and(AstBoolExpr...) - Static method in class org.clafer.ast.Asts
and(BoolVar...) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {@code operands[0] ∧ operands[1] ∧ ...
and(Collection<? extends IrBoolExpr>) - Static method in class org.clafer.ir.Irs
and(IrBoolExpr...) - Static method in class org.clafer.ir.Irs
Any - Static variable in class org.clafer.ast.Asts
arithm(AstArithm.Op, AstSetExpr...) - Static method in class org.clafer.ast.Asts
arithm(AstBoolArithm.Op, AstBoolExpr...) - Static method in class org.clafer.ast.Asts
ArrayIntIterator - Class in org.clafer.collection: In iterator for an array of integers in order of increasing index.
ArrayIntIterator(int[]) - Constructor for class org.clafer.collection.ArrayIntIterator: Iterate an array in order from the first to last element of the array.
ArrayIntIterator(int[], int, int) - Constructor for class org.clafer.collection.ArrayIntIterator: Iterate an array in order starting in position from (inclusive) and ending in position to (exclusive).
arrayToSet(IntVar[], SetVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {ivar[0], ivar[1], ..., ivar[n]} = svar.
arrayToSet(IntVar[], SetVar, IntVar, Integer) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {ivar[0], ivar[1], ..., ivar[n]} = svar and for all constant k, |{i | ivar[i] = k}| ≤ globalCardinality.
arrayToSet(IrIntExpr[], Integer) - Static method in class org.clafer.ir.Irs
asConstant(IrBoolVar) - Static method in class org.clafer.ir.IrUtil
asConstant(IrIntVar) - Static method in class org.clafer.ir.IrUtil
asConstant(IrSetVar) - Static method in class org.clafer.ir.IrUtil
asConstant(IrSetExpr) - Static method in class org.clafer.ir.IrUtil
asInt(IrSetExpr) - Static method in class org.clafer.ir.IrUtil
asInts(IrSetExpr[]) - Static method in class org.clafer.ir.IrUtil
AstAbstractClafer - Class in org.clafer.ast: An abstract Clafer.
AstArithm - Class in org.clafer.ast: foldl1 op operands.
AstArithm.Op - Enum in org.clafer.ast
AstBoolArithm - Class in org.clafer.ast: foldl1 op operands.
AstBoolArithm.Op - Enum in org.clafer.ast
AstBoolClafer - Class in org.clafer.ast: The primitive boolean Clafer.
AstBoolExpr - Interface in org.clafer.ast
AstCard - Class in org.clafer.ast
AstCard(AstSetExpr) - Constructor for class org.clafer.ast.AstCard
AstClafer - Class in org.clafer.ast: A Clafer in the model.
AstCompare - Class in org.clafer.ast
AstCompare.Op - Enum in org.clafer.ast
AstCompiler - Class in org.clafer.ast.compiler: Compile from AST to IR.
AstConcreteClafer - Class in org.clafer.ast: A concrete Clafer.
AstConstant - Class in org.clafer.ast: A constant set.
AstConstraint - Class in org.clafer.ast: An immutable constraint.
AstConstraint(AstClafer, AstBoolExpr) - Constructor for class org.clafer.ast.AstConstraint
AstConstraint(AstClafer, AstBoolExpr, boolean) - Constructor for class org.clafer.ast.AstConstraint
AstDecl - Class in org.clafer.ast
AstDecl(boolean, AstLocal[], AstSetExpr) - Constructor for class org.clafer.ast.AstDecl
AstDifference - Class in org.clafer.ast
AstDifference(AstSetExpr, AstSetExpr) - Constructor for class org.clafer.ast.AstDifference
AstDowncast - Class in org.clafer.ast
AstException - Exception in org.clafer.ast
AstException(String, Throwable) - Constructor for exception org.clafer.ast.AstException
AstException(String) - Constructor for exception org.clafer.ast.AstException
AstException(Throwable) - Constructor for exception org.clafer.ast.AstException
AstException() - Constructor for exception org.clafer.ast.AstException
AstExpr - Interface in org.clafer.ast: An expression in the AST language.
AstExprRewriter<T> - Class in org.clafer.ast
AstExprRewriter() - Constructor for class org.clafer.ast.AstExprRewriter
AstExprVisitor<A,B> - Interface in org.clafer.ast: Dynamic dispatch for AST expressions.
AstGlobal - Class in org.clafer.ast: All the Clafers of a type.
AstIdFactory - Class in org.clafer.ast: A factory for creating unique identifiers.
AstIdFactory() - Constructor for class org.clafer.ast.AstIdFactory
AstIfThenElse - Class in org.clafer.ast
AstIntClafer - Class in org.clafer.ast: The primitive integer Clafer.
AstIntersection - Class in org.clafer.ast
AstIntersection(AstSetExpr, AstSetExpr) - Constructor for class org.clafer.ast.AstIntersection
AstJoin - Class in org.clafer.ast
AstJoinParent - Class in org.clafer.ast
AstJoinParent(AstSetExpr) - Constructor for class org.clafer.ast.AstJoinParent
AstJoinRef - Class in org.clafer.ast
AstLocal - Class in org.clafer.ast: A local is a binding of a value to a name in quantifiers.
AstMembership - Class in org.clafer.ast
AstMembership.Op - Enum in org.clafer.ast
AstMinus - Class in org.clafer.ast
AstModel - Class in org.clafer.ast: The Clafer model.
AstNot - Class in org.clafer.ast: Negate a boolean expression.
AstPrimClafer - Class in org.clafer.ast: A primitive Clafer.
AstQuantify - Class in org.clafer.ast
AstQuantify(AstQuantify.Quantifier, AstDecl[], AstBoolExpr) - Constructor for class org.clafer.ast.AstQuantify
AstQuantify.Quantifier - Enum in org.clafer.ast
AstRef - Class in org.clafer.ast
Asts - Class in org.clafer.ast: Import this class to access all AST building functions.
AstSetExpr - Interface in org.clafer.ast
AstSetTest - Class in org.clafer.ast
AstSetTest.Op - Enum in org.clafer.ast
AstSolutionMap - Class in org.clafer.ast.compiler
AstSum - Class in org.clafer.ast
AstTernary - Class in org.clafer.ast
AstThis - Class in org.clafer.ast: Do NOT reuse for different expressions.
AstThis() - Constructor for class org.clafer.ast.AstThis
AstUnion - Class in org.clafer.ast
AstUnion(AstSetExpr, AstSetExpr) - Constructor for class org.clafer.ast.AstUnion
AstUpcast - Class in org.clafer.ast
AstUtil - Class in org.clafer.ast: Various static utility functions for working with AST.
AstVar - Interface in org.clafer.ast

B

Basic - Static variable in class org.clafer.compiler.ClaferOptions
basicOptimizations() - Method in class org.clafer.compiler.ClaferOptions
basicOptimizations() - Method in class org.clafer.javascript.JavascriptShell.Options
basicSymmetryBreaking() - Method in class org.clafer.compiler.ClaferOptions
basicSymmetryBreaking() - Method in class org.clafer.javascript.JavascriptShell.Options
basicType(AstClafer) - Static method in class org.clafer.ast.analysis.Type
bool(String) - Static method in class org.clafer.ir.Irs
boolChannel(IrBoolExpr[], IrSetExpr) - Static method in class org.clafer.ir.Irs
BoolDomain - Static variable in class org.clafer.ir.Irs
BoolType - Static variable in class org.clafer.ast.Asts
boundDomain(int, int) - Static method in class org.clafer.ir.Irs
boundHigh(IrDomain, int) - Static method in class org.clafer.ir.IrUtil
boundInt(String, int, int) - Static method in class org.clafer.ir.Irs
BoundIntIterator - Class in org.clafer.collection: An iterator over an interval in increasing order.
BoundIntIterator(int, int) - Constructor for class org.clafer.collection.BoundIntIterator: Iterate in increasing order starting from low (inclusive) and ending in high (inclusive).
boundLow(IrDomain, int) - Static method in class org.clafer.ir.IrUtil
buildArray(SetVar, IntVar, IntVar[], IntVar[]) - Static method in class org.clafer.choco.constraint.propagator.PropFilterString
builder() - Static method in class org.clafer.scope.Scope: Construct the scope using the builder pattern.

C

canonical(IrModule) - Static method in class org.clafer.ir.analysis.Canonicalizer: Rewrites the module in a form that is easier to pattern match and makes some implicit constraints explicit.
Canonicalizer - Class in org.clafer.ir.analysis
card(AstSetExpr) - Static method in class org.clafer.ast.Asts
Card - Class in org.clafer.ast: Low and high cardinality.
Card() - Constructor for class org.clafer.ast.Card: Construct an unbounded cardinality.
Card(int) - Constructor for class org.clafer.ast.Card: Construct a cardinality bounded from below, unbounded above.
Card(int, int) - Constructor for class org.clafer.ast.Card: Construct a cardinality bounded from below and above.
card(IrSetExpr) - Static method in class org.clafer.ir.Irs
CardAnalyzer - Class in org.clafer.ast.analysis: Rewrites the model replacing unbounded high cardinalities with bounded effective high cardinalities.
CardAnalyzer() - Constructor for class org.clafer.ast.analysis.CardAnalyzer
changed(T, T) - Static method in class org.clafer.ir.IrRewriter
changed(T[], T[]) - Static method in class org.clafer.ir.IrRewriter
changed(T[][], T[][]) - Static method in class org.clafer.ir.IrRewriter
Check - Class in org.clafer.common: Various static utility functions for checking input.
claferClafer - Variable in class org.clafer.ast.AstClafer
ClaferCompiler - Class in org.clafer.compiler: Compiles from AST -> Choco
ClaferOptimizer - Class in org.clafer.compiler
ClaferOptions - Class in org.clafer.compiler: Defines the options for the Clafer compiler.
ClaferSearch<T> - Interface in org.clafer.compiler
ClaferSolutionMap - Class in org.clafer.compiler
ClaferSolver - Class in org.clafer.compiler
ClaferUnsat - Class in org.clafer.compiler: Either call ClaferUnsat.minUnsat() xor ClaferUnsat.unsatCore() at most once.
clear() - Method in class org.clafer.collection.FixedCapacityIntSet
clear() - Method in class org.clafer.collection.MutableBoolean
coalesce(IrModule) - Static method in class org.clafer.ir.analysis.Coalescer
Coalescer - Class in org.clafer.ir.analysis
commaSeparate(T[]) - Static method in class org.clafer.common.Util: Concatenate the string representation of the items with a comma separating each item.
commaSeparate(Iterable<?>) - Static method in class org.clafer.common.Util: Concatenate the string representation of the items with a comma separating each item.
CommonSubexpression - Class in org.clafer.ir.analysis
compare(AstSetExpr, AstCompare.Op, AstSetExpr) - Static method in class org.clafer.ast.Asts
compare(int, IrCompare.Op, IrIntExpr) - Static method in class org.clafer.ir.Irs
compare(IrIntExpr, IrCompare.Op, int) - Static method in class org.clafer.ir.Irs
compare(IrIntExpr, IrCompare.Op, IrIntExpr) - Static method in class org.clafer.ir.Irs
compare(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.IrUtil
compareString(IrIntExpr[], IrIntExpr[]) - Static method in class org.clafer.ir.IrUtil
compareString(IrIntExpr[], IrIntExpr[], int) - Static method in class org.clafer.ir.IrUtil
compile(AstModel, Scope, IrModule, boolean) - Static method in class org.clafer.ast.compiler.AstCompiler
compile(AstModel, Scope, IrModule, Analyzer[], boolean) - Static method in class org.clafer.ast.compiler.AstCompiler
compile(AstModel, Scope, Objective, IrModule, boolean) - Static method in class org.clafer.ast.compiler.AstCompiler
compile(AstModel, Scope, Objective, IrModule, Analyzer[], boolean) - Static method in class org.clafer.ast.compiler.AstCompiler
compile(AstModel, Scopable) - Static method in class org.clafer.compiler.ClaferCompiler
compile(AstModel, Scopable, ClaferOptions) - Static method in class org.clafer.compiler.ClaferCompiler
compile(AstModel, Scopable, Objective) - Static method in class org.clafer.compiler.ClaferCompiler
compile(AstModel, Scopable, Objective, ClaferOptions) - Static method in class org.clafer.compiler.ClaferCompiler
compile(IrModule, Solver) - Static method in class org.clafer.ir.compiler.IrCompiler
compile(IrModule, Solver, boolean) - Static method in class org.clafer.ir.compiler.IrCompiler
compilePartial(AstModel, ScopeBuilder, AstConcreteClafer...) - Static method in class org.clafer.compiler.ClaferCompiler
compilePartial(AstModel, Scope, AstConcreteClafer...) - Static method in class org.clafer.compiler.ClaferCompiler
compileUnsat(AstModel, Scopable) - Static method in class org.clafer.compiler.ClaferCompiler
compileUnsat(AstModel, Scopable, ClaferOptions) - Static method in class org.clafer.compiler.ClaferCompiler
computeStronglyConnectedComponents(Graph<V>) - Static method in class org.clafer.graph.GraphUtil: Compute the strongly connected components in the graph in topological order.
concat(T[][]) - Static method in class org.clafer.common.Util: Concatenates all the arrays in the given order into one array.
connected(V, V) - Method in class org.clafer.collection.DisjointSets
connectedComponents() - Method in class org.clafer.collection.DisjointSets
cons(E, FList<E>) - Static method in class org.clafer.collection.FList: Functional-programming cons.
cons(T, List<? extends T>) - Static method in class org.clafer.common.Util: Functional-programming cons.
cons(T, T[]) - Static method in class org.clafer.common.Util: Append the item at the start of the array.
cons(int, int[]) - Static method in class org.clafer.common.Util: Append the item at the start of the array.
constant(int) - Static method in class org.clafer.ast.Asts
constant(AstClafer, int...) - Static method in class org.clafer.ast.Asts
constant(boolean) - Static method in class org.clafer.ir.Irs
constant(int) - Static method in class org.clafer.ir.Irs
constant(int[]) - Static method in class org.clafer.ir.Irs
constant(TIntCollection) - Static method in class org.clafer.ir.Irs
constant(TIntSet) - Static method in class org.clafer.ir.Irs
constant(IrDomain) - Static method in class org.clafer.ir.Irs
constantDomain(int) - Static method in class org.clafer.ir.Irs
Constraints - Class in org.clafer.choco.constraint: Custom Choco constraints.
contains(int) - Method in class org.clafer.collection.FixedCapacityIntSet
contains(boolean) - Method in enum org.clafer.ir.IrBoolDomain
contains(int) - Method in enum org.clafer.ir.IrBoolDomain
contains(int) - Method in class org.clafer.ir.IrBoundDomain: Checks if a value is within this domain.
contains(int) - Method in interface org.clafer.ir.IrDomain: Checks if a value is within this domain.
contains(int) - Method in class org.clafer.ir.IrEmptyDomain: Checks if a value is within this domain.
contains(int) - Method in class org.clafer.ir.IrEnumDomain: Checks if a value is within this domain.
containsAll(Collection<?>) - Method in class org.clafer.collection.FixedCapacityIntSet
containsAll(TIntCollection) - Method in class org.clafer.collection.FixedCapacityIntSet
containsAll(int[]) - Method in class org.clafer.collection.FixedCapacityIntSet
containsAll(int[], IrDomain) - Static method in class org.clafer.ir.IrUtil
count - Variable in class org.clafer.ast.AstIdFactory
count(int, IrIntExpr[]) - Static method in class org.clafer.ir.Irs
Counter - Class in org.clafer.collection
Counter() - Constructor for class org.clafer.collection.Counter

D

decl(boolean, AstLocal[], AstSetExpr) - Static method in class org.clafer.ast.Asts
decl(AstLocal[], AstSetExpr) - Static method in class org.clafer.ast.Asts
decl(AstLocal, AstSetExpr) - Static method in class org.clafer.ast.Asts
Default - Static variable in class org.clafer.compiler.ClaferOptions
DefaultAnalyzers - Static variable in class org.clafer.ast.compiler.AstCompiler
defaultScope(int) - Static method in class org.clafer.scope.Scope: Equivalent to builder().defaultScope(defaultScope).
defaultScope(int) - Method in class org.clafer.scope.ScopeBuilder: Set the scope for unspecified Clafers.
diff(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
difference(SetVar, IntVar, SetVar, IntVar, SetVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing minuend - subtrahend = difference.
difference(IrSetExpr, IrSetExpr) - Static method in class org.clafer.ir.Irs
difference(IrDomain, IrDomain) - Static method in class org.clafer.ir.IrUtil
disjDecl(AstLocal[], AstSetExpr) - Static method in class org.clafer.ast.Asts
DisjointSets<V> - Class in org.clafer.collection
DisjointSets() - Constructor for class org.clafer.collection.DisjointSets
div(AstSetExpr...) - Static method in class org.clafer.ast.Asts
div(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
div(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
div(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.Irs
domain(boolean) - Static method in class org.clafer.ir.Irs
domainInt(String, IrDomain) - Static method in class org.clafer.ir.Irs
domsContain(IntVar[], int) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if at least one of the integer's domain contains a value.
domSubsetDom(IntVar, IntVar, ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Removes every element in an integer's domain that is not in the other integer's domain.
domSubsetEnv(IntVar, SetVar, ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Removes every element in an integer's domain that is not in the set's envelope.
domSubsetKer(IntVar, SetVar, ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Removes every element in an integer's domain that is not in the set's kernel.
domSubsetSet(IntVar, TIntSet, ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Removes every element in an integer's domain that is not in the set.
downcast(AstSetExpr, AstClafer) - Static method in class org.clafer.ast.Asts: Downcast an expression.
dropUntil(T, List<T>) - Static method in class org.clafer.common.Util: Returns a sublist from the index of the item (inclusive) to the end of the list.
DuplicateConstraints - Class in org.clafer.ir.analysis: Remove constraints that are duplicated.

E

Either<A,B> - Class in org.clafer.collection: A sum type.
Either() - Constructor for class org.clafer.collection.Either
element(IrIntExpr[], IrIntExpr) - Static method in class org.clafer.ir.Irs
empty() - Static method in class org.clafer.collection.FList: Returns an empty list.
EmptyDomain - Static variable in class org.clafer.ir.Irs
EmptyIntIterator - Class in org.clafer.collection: An empty iterator.
EmptySet - Static variable in class org.clafer.ir.Irs
endsWith(List<T>, List<T>) - Static method in class org.clafer.common.Util: Checks if the list ends with specific elements.
enumDomain(int...) - Static method in class org.clafer.ir.Irs
enumDomain(TIntCollection) - Static method in class org.clafer.ir.Irs
enumDomain(TIntSet) - Static method in class org.clafer.ir.Irs
enumInt(String, int[]) - Static method in class org.clafer.ir.Irs
envsContain(SetVar[], int) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if at least one of the set's envelope contains a value.
envSubsetDom(SetVar, IntVar, ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Removes every element in a set's envelope that is not in the integer's domain.
envSubsetEnv(SetVar, SetVar, ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Removes every element in a set's envelope that is not in the other set's envelope.
envSubsetKer(SetVar, SetVar, ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Removes every element in a set's envelope that is not in the set's kernel.
envSubsetSet(SetVar, TIntSet, ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Removes every element in a set's envelope that is not in the set.
equal(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
equal(SetVar, IntVar, SetVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing set1 = set2.
equal(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
equal(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
equal(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.Irs
equal(IrIntExpr[], IrIntExpr[]) - Static method in class org.clafer.ir.Irs
equal(IrSetExpr, IrSetExpr) - Static method in class org.clafer.ir.Irs
equality(IrSetExpr, IrSetTest.Op, IrSetExpr) - Static method in class org.clafer.ir.Irs
equals(Object) - Method in class org.clafer.ast.analysis.Type
equals(Object) - Method in class org.clafer.ast.AstArithm
equals(Object) - Method in class org.clafer.ast.AstBoolArithm
equals(Object) - Method in class org.clafer.ast.AstClafer
equals(Object) - Method in class org.clafer.ast.AstConstraint
equals(Object) - Method in class org.clafer.ast.AstDifference
equals(Object) - Method in class org.clafer.ast.AstDowncast
equals(Object) - Method in class org.clafer.ast.AstGlobal
equals(Object) - Method in class org.clafer.ast.AstIntersection
equals(Object) - Method in class org.clafer.ast.AstLocal
equals(Object) - Method in class org.clafer.ast.AstRef
equals(Object) - Method in class org.clafer.ast.AstUnion
equals(Object) - Method in class org.clafer.ast.AstUpcast
equals(Object) - Method in class org.clafer.ast.Card
equals(Object) - Method in class org.clafer.collection.FixedCapacityIntSet
equals(Object) - Method in class org.clafer.collection.Just
equals(Object) - Method in class org.clafer.collection.Left
equals(Object) - Method in class org.clafer.collection.Nothing
equals(Object) - Method in class org.clafer.collection.Pair
equals(Object) - Method in class org.clafer.collection.Right
equals(Object) - Method in class org.clafer.collection.Triple
equals(Object, Object) - Static method in class org.clafer.common.Util: Check equality in a null-friendly fashion.
equals(Object) - Method in class org.clafer.graph.Vertex
equals(Object) - Method in class org.clafer.ir.IrAbstractBool
equals(Object) - Method in class org.clafer.ir.IrAbstractInt
equals(Object) - Method in class org.clafer.ir.IrAbstractSet
equals(Object) - Method in class org.clafer.ir.IrAcyclic
equals(Object) - Method in class org.clafer.ir.IrAdd
equals(Object) - Method in class org.clafer.ir.IrAllDifferent
equals(Object) - Method in class org.clafer.ir.IrAnd
equals(Object) - Method in class org.clafer.ir.IrArrayToSet
equals(Object) - Method in class org.clafer.ir.IrBoolChannel
equals(Object) - Method in class org.clafer.ir.IrBoolConstant
equals(Object) - Method in class org.clafer.ir.IrBoundDomain
equals(Object) - Method in class org.clafer.ir.IrCard
equals(Object) - Method in class org.clafer.ir.IrCompare
equals(Object) - Method in class org.clafer.ir.IrCount
equals(Object) - Method in class org.clafer.ir.IrDiv
equals(Object) - Method in class org.clafer.ir.IrElement
equals(Object) - Method in class org.clafer.ir.IrEmptyDomain
equals(Object) - Method in class org.clafer.ir.IrEnumDomain
equals(Object) - Method in class org.clafer.ir.IrFilterString
equals(Object) - Method in class org.clafer.ir.IrIfOnlyIf
equals(Object) - Method in class org.clafer.ir.IrIfThenElse
equals(Object) - Method in class org.clafer.ir.IrImplies
equals(Object) - Method in class org.clafer.ir.IrIntChannel
equals(Object) - Method in class org.clafer.ir.IrIntConstant
equals(Object) - Method in class org.clafer.ir.IrIntVar
equals(Object) - Method in class org.clafer.ir.IrJoinFunction
equals(Object) - Method in class org.clafer.ir.IrJoinRelation
equals(Object) - Method in class org.clafer.ir.IrLone
equals(Object) - Method in class org.clafer.ir.IrMask
equals(Object) - Method in class org.clafer.ir.IrMember
equals(Object) - Method in class org.clafer.ir.IrMinus
equals(Object) - Method in class org.clafer.ir.IrMul
equals(Object) - Method in class org.clafer.ir.IrNot
equals(Object) - Method in class org.clafer.ir.IrNotImplies
equals(Object) - Method in class org.clafer.ir.IrNotMember
equals(Object) - Method in class org.clafer.ir.IrNotWithin
equals(Object) - Method in class org.clafer.ir.IrOffset
equals(Object) - Method in class org.clafer.ir.IrOne
equals(Object) - Method in class org.clafer.ir.IrOr
equals(Object) - Method in class org.clafer.ir.IrSelectN
equals(Object) - Method in class org.clafer.ir.IrSetConstant
equals(Object) - Method in class org.clafer.ir.IrSetDifference
equals(Object) - Method in class org.clafer.ir.IrSetIntersection
equals(Object) - Method in class org.clafer.ir.IrSetSum
equals(Object) - Method in class org.clafer.ir.IrSetTernary
equals(Object) - Method in class org.clafer.ir.IrSetTest
equals(Object) - Method in class org.clafer.ir.IrSetUnion
equals(Object) - Method in class org.clafer.ir.IrSetVar
equals(Object) - Method in class org.clafer.ir.IrSingleton
equals(Object) - Method in class org.clafer.ir.IrSortSets
equals(Object) - Method in class org.clafer.ir.IrSortStrings
equals(Object) - Method in class org.clafer.ir.IrSortStringsChannel
equals(Object) - Method in class org.clafer.ir.IrSubsetEq
equals(Object) - Method in class org.clafer.ir.IrTernary
equals(Object) - Method in class org.clafer.ir.IrUnreachable
equals(Object) - Method in class org.clafer.ir.IrWithin
equals(Object) - Method in class org.clafer.ir.IrXor
equals(Object) - Method in class org.clafer.objective.Objective
exit() - Method in class org.clafer.javascript.JavascriptShell: Exit the program.
extending(AstAbstractClafer) - Method in class org.clafer.ast.AstAbstractClafer: Set the supertype of this Clafer.
extending(AstAbstractClafer) - Method in class org.clafer.ast.AstClafer: Set the supertype of this Clafer.
extending(AstAbstractClafer) - Method in class org.clafer.ast.AstConcreteClafer: Set the supertype of this Clafer.
extending(AstAbstractClafer) - Method in class org.clafer.ast.AstModel
extending(AstAbstractClafer) - Method in class org.clafer.ast.AstPrimClafer: Set the supertype of this Clafer.

F

False - Static variable in class org.clafer.ir.Irs
FalseDomain - Static variable in class org.clafer.ir.Irs
falses(boolean[]) - Static method in class org.clafer.common.Util: Returns the position of all the false elements in the array.
filterJust(List<Maybe<? extends T>>) - Static method in class org.clafer.collection.Maybe
filterJust(Maybe<? extends T>[], T...) - Static method in class org.clafer.collection.Maybe
filterLeft(List<Either<A, B>>) - Static method in class org.clafer.collection.Either
filterLeft(Either<A, B>[], A...) - Static method in class org.clafer.collection.Either
filterRight(List<Either<A, B>>) - Static method in class org.clafer.collection.Either
filterRight(Either<A, B>[], B...) - Static method in class org.clafer.collection.Either
filterString(SetVar, IntVar, int, IntVar[], IntVar[]) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing result[i] = if i < array(set).length then string[array(set)[i] - offset] else -1 where array is the sorted array representation of the set.
filterString(IrSetExpr, IrIntExpr[], IrIntExpr[]) - Static method in class org.clafer.ir.Irs
filterString(IrSetExpr, int, IrIntExpr[], IrIntExpr[]) - Static method in class org.clafer.ir.Irs
find() - Method in class org.clafer.compiler.ClaferOptimizer
find() - Method in interface org.clafer.compiler.ClaferSearch
find() - Method in class org.clafer.compiler.ClaferSolver
findCommonSubexpressions(IrModule) - Static method in class org.clafer.ir.analysis.CommonSubexpression
FixedCapacityIntSet - Class in org.clafer.collection: For small, fixed-capacity sets.
FixedCapacityIntSet(int) - Constructor for class org.clafer.collection.FixedCapacityIntSet
FixedCapacityIntSet(int...) - Constructor for class org.clafer.collection.FixedCapacityIntSet
FixedCapacityIntSet(FixedCapacityIntSet) - Constructor for class org.clafer.collection.FixedCapacityIntSet
flatten(IrModule) - Static method in class org.clafer.ir.analysis.ImplicationFlattener: Rewrites expressions so that ands are never directly under the implies consequent and if-then-else are rewritten to implications.
FList<E> - Class in org.clafer.collection: Persistent singly-linked list.
forEach(TIntProcedure) - Method in class org.clafer.collection.FixedCapacityIntSet
Format - Enum in org.clafer.ast.analysis: There is two ways to represent a set.
FormatAnalyzer - Class in org.clafer.ast.analysis
FormatAnalyzer() - Constructor for class org.clafer.ast.analysis.FormatAnalyzer
fromMaybe(T) - Method in class org.clafer.collection.Just
fromMaybe(T) - Method in class org.clafer.collection.Maybe
fromMaybe(T) - Method in class org.clafer.collection.Nothing
fromTo(int, int) - Static method in class org.clafer.common.Util
fromToDomain(int, int) - Static method in class org.clafer.ir.Irs
fullOptimizations() - Method in class org.clafer.compiler.ClaferOptions
fullOptimizations() - Method in class org.clafer.javascript.JavascriptShell.Options
fullSymmetryBreaking() - Method in class org.clafer.compiler.ClaferOptions
fullSymmetryBreaking() - Method in class org.clafer.javascript.JavascriptShell.Options

G

get() - Method in class org.clafer.collection.Just
getAbstractClafers() - Method in class org.clafer.ast.analysis.Analysis
getAbstractClafersInSubOrder(AstModel) - Static method in class org.clafer.ast.AstUtil: Find the abstract Clafers such that the subclafers appear before the super clafers.
getAbstracts() - Method in class org.clafer.ast.AstModel: Returns all the abstract Clafers
getAddends() - Method in class org.clafer.ir.IrAdd
getAlternative() - Method in class org.clafer.ast.AstIfThenElse
getAlternative() - Method in class org.clafer.ast.AstTernary
getAlternative() - Method in class org.clafer.ir.IrIfThenElse
getAlternative() - Method in class org.clafer.ir.IrSetTernary
getAlternative() - Method in class org.clafer.ir.IrTernary
getAnalysis() - Method in class org.clafer.ast.compiler.AstSolutionMap
getAntecedent() - Method in class org.clafer.ast.AstIfThenElse
getAntecedent() - Method in class org.clafer.ast.AstTernary
getAntecedent() - Method in class org.clafer.ir.IrIfThenElse
getAntecedent() - Method in class org.clafer.ir.IrImplies
getAntecedent() - Method in class org.clafer.ir.IrNotImplies
getAntecedent() - Method in class org.clafer.ir.IrSetTernary
getAntecedent() - Method in class org.clafer.ir.IrTernary
getArray() - Method in class org.clafer.ir.IrArrayToSet
getArray() - Method in class org.clafer.ir.IrCount
getArray() - Method in class org.clafer.ir.IrElement
getAssignCardinality(IrBoolExpr) - Static method in class org.clafer.ir.analysis.AnalysisUtil
getAssignCardinality(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.analysis.AnalysisUtil
getAstSolution() - Method in class org.clafer.compiler.ClaferSolutionMap
getBase() - Method in class org.clafer.ast.AstDowncast
getBase() - Method in class org.clafer.ast.AstUpcast
getBasicType() - Method in class org.clafer.ast.analysis.Type
getBody() - Method in class org.clafer.ast.AstDecl
getBody() - Method in class org.clafer.ast.AstQuantify
getBools() - Method in class org.clafer.ir.IrBoolChannel
getBools() - Method in class org.clafer.ir.IrSelectN
getBoolValue(IrBoolVar) - Method in class org.clafer.ir.compiler.IrSolutionMap
getBoolValues(IrBoolVar...) - Method in class org.clafer.ir.compiler.IrSolutionMap
getBoolVar(IrBoolVar) - Method in class org.clafer.ir.compiler.IrSolutionMap
getBoolVars(IrBoolVar...) - Method in class org.clafer.ir.compiler.IrSolutionMap
getBreakableChildren(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
getBreakableChildrenMap() - Method in class org.clafer.ast.analysis.Analysis
getBreakableRefsMap() - Method in class org.clafer.ast.analysis.Analysis
getBreakableTarget(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
getBreakableTargetsMap() - Method in class org.clafer.ast.analysis.Analysis
getCard(AstConcreteClafer) - Method in class org.clafer.ast.analysis.Analysis
getCard() - Method in class org.clafer.ast.AstConcreteClafer: Returns this Clafer's cardinality.
getCard() - Method in class org.clafer.ir.IrAbstractSet: Card or cardinality is all the possible size of the set.
getCard() - Method in interface org.clafer.ir.IrSetExpr: Card or cardinality is all the possible size of the set.
getCardMap() - Method in class org.clafer.ast.analysis.Analysis
getChildren() - Method in class org.clafer.ast.AstClafer: Returns this Clafer's concrete children
getChildren() - Method in class org.clafer.ast.AstJoinParent
getChildren() - Method in class org.clafer.instance.InstanceClafer
getChildren(AstConcreteClafer) - Method in class org.clafer.instance.InstanceClafer
getChildren() - Method in class org.clafer.ir.IrJoinRelation
getClafer(int) - Method in class org.clafer.ast.analysis.Offsets
getClafers() - Method in class org.clafer.ast.analysis.Analysis
getClafers(AstModel) - Static method in class org.clafer.ast.AstUtil: Find all the nested Clafers in no specific order.
getClafersInParentAndSubOrder() - Method in class org.clafer.ast.analysis.Analysis
getClafersInParentAndSubOrder(AstModel) - Static method in class org.clafer.ast.AstUtil: Find the Clafers such that the parents appear before the children, and the subclafers appear before the superclafers.
getCommonSupertype(AstExpr) - Method in class org.clafer.ast.analysis.Analysis
getCommonSuperType() - Method in class org.clafer.ast.analysis.Type
getConcreteClafers() - Method in class org.clafer.ast.analysis.Analysis
getConcreteClafers(AstModel) - Static method in class org.clafer.ast.AstUtil: Find all the nested concrete Clafers in no specific order.
getConcreteClafersInParentOrder(AstModel) - Static method in class org.clafer.ast.AstUtil: Find the concrete Clafers such that the parents appear before the children.
getConcreteId(AstClafer, int) - Method in class org.clafer.ast.analysis.Analysis
getConcreteSubs(AstClafer) - Static method in class org.clafer.ast.AstUtil: Find all the concrete subtypes of the supplied Clafer, including itself if it is concrete.
getConsequent() - Method in class org.clafer.ast.AstIfThenElse
getConsequent() - Method in class org.clafer.ast.AstTernary
getConsequent() - Method in class org.clafer.ir.IrIfThenElse
getConsequent() - Method in class org.clafer.ir.IrImplies
getConsequent() - Method in class org.clafer.ir.IrNotImplies
getConsequent() - Method in class org.clafer.ir.IrSetTernary
getConsequent() - Method in class org.clafer.ir.IrTernary
getConstant(IrBoolExpr) - Static method in class org.clafer.ir.IrUtil
getConstant(IrIntExpr) - Static method in class org.clafer.ir.IrUtil
getConstant(IrIntExpr[]) - Static method in class org.clafer.ir.IrUtil
getConstant(IrSetExpr) - Static method in class org.clafer.ir.IrUtil
getConstraintExprs() - Method in class org.clafer.ast.analysis.Analysis
getConstraints() - Method in class org.clafer.ast.analysis.Analysis
getConstraints() - Method in class org.clafer.ast.AstClafer: Returns this Clafer's constraints.
getConstraints() - Method in class org.clafer.ir.IrModule
getContext() - Method in class org.clafer.ast.AstConstraint
getData() - Method in class org.clafer.graph.Vertex: Returns the data associated with this vertex.
getDecls() - Method in class org.clafer.ast.AstQuantify
getDefaultScope() - Method in class org.clafer.scope.Scope: The scope for unspecified Clafers.
getDeref() - Method in class org.clafer.ast.AstJoinRef
getDividend() - Method in class org.clafer.ir.IrDiv
getDivisor() - Method in class org.clafer.ir.IrDiv
getDomain() - Method in class org.clafer.ir.IrAbstractBool
getDomain() - Method in class org.clafer.ir.IrAbstractInt: Domain cannot be empty.
getDomain() - Method in interface org.clafer.ir.IrBoolExpr
getDomain() - Method in class org.clafer.ir.IrBoolVar
getDomain() - Method in interface org.clafer.ir.IrIntExpr: Domain cannot be empty.
getEdges() - Method in class org.clafer.ir.IrAcyclic
getEdges() - Method in class org.clafer.ir.IrUnreachable
getElement() - Method in class org.clafer.ir.IrMember
getElement() - Method in class org.clafer.ir.IrNotMember
getEnv() - Method in class org.clafer.ir.IrAbstractSet: Env or envelope is the union of all possible values the set can be.
getEnv() - Method in interface org.clafer.ir.IrSetExpr: Env or envelope is the union of all possible values the set can be.
getExpr(Objective) - Method in class org.clafer.ast.analysis.Analysis
getExpr(AstConstraint) - Method in class org.clafer.ast.analysis.Analysis
getExpr() - Method in class org.clafer.ast.AstConstraint
getExpr() - Method in class org.clafer.ast.AstMinus
getExpr() - Method in class org.clafer.ast.AstNot: Returns the expression to negated.
getExpr() - Method in class org.clafer.ir.IrMinus
getExpr() - Method in class org.clafer.ir.IrNot
getExpr() - Method in class org.clafer.objective.Objective: Returns the expression to optimize.
getFormat(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
getFormatMap() - Method in class org.clafer.ast.analysis.Analysis
getFrom() - Method in class org.clafer.ir.IrMask
getFrom() - Method in class org.clafer.ir.IrUnreachable
getFst() - Method in class org.clafer.collection.Pair
getFst() - Method in class org.clafer.collection.Triple
getFstSnd() - Method in class org.clafer.collection.Triple
getGlobalCard(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
getGlobalCardinality() - Method in class org.clafer.choco.constraint.propagator.PropArrayToSetCard
getGlobalCardinality() - Method in class org.clafer.choco.constraint.propagator.PropJoinFunctionCard
getGlobalCardinality() - Method in class org.clafer.ir.IrArrayToSet
getGlobalCardinality() - Method in class org.clafer.ir.IrJoinFunction
getGlobalCardMap() - Method in class org.clafer.ast.analysis.Analysis
getGroupCard() - Method in class org.clafer.ast.AstClafer: Returns this Clafer's group cardinality.
getHardConstraints() - Method in class org.clafer.ast.analysis.Analysis
getHead() - Method in class org.clafer.collection.FList: Returns the first element of the list.
getHierarcyIds(AstClafer, int) - Method in class org.clafer.ast.analysis.Analysis
getHierarcyOffsets(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
getHigh() - Method in class org.clafer.ast.Card: Returns the high cardinality or Integer.MAX_VALUE if unbounded form above.
getHighBound() - Method in enum org.clafer.ir.IrBoolDomain
getHighBound() - Method in class org.clafer.ir.IrBoundDomain: Returns the largest integer contained in this domain.
getHighBound() - Method in interface org.clafer.ir.IrDomain: Returns the largest integer contained in this domain.
getHighBound() - Method in class org.clafer.ir.IrEmptyDomain: Returns the largest integer contained in this domain.
getHighBound() - Method in class org.clafer.ir.IrEnumDomain: Returns the largest integer contained in this domain.
getId() - Method in class org.clafer.instance.InstanceClafer
getIndex() - Method in class org.clafer.ir.IrElement
getInheritedRef(AstClafer) - Static method in class org.clafer.ast.AstUtil: Find the reference belonging to the Clafer or the reference it inherited.
getInheritedRefId(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
getInstance() - Method in class org.clafer.compiler.ClaferSolutionMap
getInternalSolver() - Method in class org.clafer.compiler.ClaferOptimizer
getInternalSolver() - Method in interface org.clafer.compiler.ClaferSearch
getInternalSolver() - Method in class org.clafer.compiler.ClaferSolver
getInternalSolver() - Method in class org.clafer.compiler.ClaferUnsat
getIntHigh() - Method in class org.clafer.scope.Scope: Returns the highest (inclusive) integer used for solving.
getIntLow() - Method in class org.clafer.scope.Scope: Returns the lowest (inclusive) integer used for solving.
getInts() - Method in class org.clafer.ir.IrIntChannel
getInts() - Method in class org.clafer.ir.IrSortStringsChannel
getIntValue(IrIntVar) - Method in class org.clafer.ir.compiler.IrSolutionMap
getIntValues(IrIntVar...) - Method in class org.clafer.ir.compiler.IrSolutionMap
getIntVar(IrIntVar) - Method in class org.clafer.ir.compiler.IrSolutionMap
getIntVars(IrIntVar...) - Method in class org.clafer.ir.compiler.IrSolutionMap
getIntVars() - Method in class org.clafer.ir.compiler.IrSolutionMap
getIrSolution() - Method in class org.clafer.compiler.ClaferSolutionMap
getIterator() - Static method in class org.clafer.collection.EmptyIntIterator: An iterator that is always empty.
getKer() - Method in class org.clafer.ir.IrAbstractSet: Ker or kernel is the intersection of all possible values the set can be
getKer() - Method in interface org.clafer.ir.IrSetExpr: Ker or kernel is the intersection of all possible values the set can be
getKnownClafers() - Method in class org.clafer.ast.analysis.PartialSolution
getLeft() - Method in class org.clafer.ast.AstCompare
getLeft() - Method in class org.clafer.ast.AstDifference
getLeft() - Method in class org.clafer.ast.AstIntersection
getLeft() - Method in class org.clafer.ast.AstJoin
getLeft() - Method in class org.clafer.ast.AstSetTest
getLeft() - Method in class org.clafer.ast.AstUnion
getLeft() - Method in class org.clafer.collection.Either
getLeft() - Method in class org.clafer.collection.Left
getLeft() - Method in class org.clafer.collection.Right
getLeft() - Method in class org.clafer.ir.IrCompare
getLeft() - Method in class org.clafer.ir.IrIfOnlyIf
getLeft() - Method in class org.clafer.ir.IrSetTest
getLeft() - Method in class org.clafer.ir.IrXor
getLocals() - Method in class org.clafer.ast.AstDecl
getLow() - Method in class org.clafer.ast.Card: Returns the low cardinality or 0 if unbounded from below.
getLowBound() - Method in enum org.clafer.ir.IrBoolDomain
getLowBound() - Method in class org.clafer.ir.IrBoundDomain: Returns the smallest integer contained in this domain.
getLowBound() - Method in interface org.clafer.ir.IrDomain: Returns the smallest integer contained in this domain.
getLowBound() - Method in class org.clafer.ir.IrEmptyDomain: Returns the smallest integer contained in this domain.
getLowBound() - Method in class org.clafer.ir.IrEnumDomain: Returns the smallest integer contained in this domain.
getLowestCommonSupertype(Iterable<AstClafer>) - Static method in class org.clafer.ast.AstUtil: Finds the lowest common supertype.
getLowestCommonSupertype(AstClafer...) - Static method in class org.clafer.ast.AstUtil: Finds the lowest common supertype.
getMember() - Method in class org.clafer.ast.AstMembership
getMinuend() - Method in class org.clafer.ir.IrSetDifference
getModel() - Method in class org.clafer.ast.analysis.Analysis: Returns the original model.
getModel() - Method in class org.clafer.ast.compiler.AstSolutionMap
getModel() - Method in class org.clafer.javascript.JavascriptContext
getMultiplicand() - Method in class org.clafer.ir.IrMul
getMultiplier() - Method in class org.clafer.ir.IrMul
getN() - Method in class org.clafer.ir.IrSelectN
getName() - Method in class org.clafer.ast.AstClafer: Returns the name of the Clafer.
getName() - Method in class org.clafer.ast.AstLocal: Returns the name of the variable.
getName() - Method in interface org.clafer.ast.AstVar: Returns the name of the variable.
getName() - Method in class org.clafer.ir.IrIntVar
getName() - Method in class org.clafer.ir.IrSetVar
getName() - Method in interface org.clafer.ir.IrVar
getNames(AstVar...) - Static method in class org.clafer.ast.AstUtil: Retrieve the names of the variables.
getNames(Iterable<? extends AstVar>) - Static method in class org.clafer.ast.AstUtil: Retrieve the names of the Clafers.
getNeighbours() - Method in class org.clafer.graph.Vertex: Returns the set of vertexes that have an incoming edge from this vertex.
getNestedClafers(AstClafer) - Static method in class org.clafer.ast.AstUtil: Find all the Clafers below the supplied one, including itself.
getNestedConstraints(AstModel) - Static method in class org.clafer.ast.AstUtil: Find all the constraints in the model.
getNoEntryValue() - Method in class org.clafer.collection.FixedCapacityIntSet
getObjectiveExprs() - Method in class org.clafer.ast.analysis.Analysis
getObjectives() - Method in class org.clafer.javascript.JavascriptContext
getObjectiveVar(Objective) - Method in class org.clafer.ast.compiler.AstSolutionMap: Returns the variable associated to the objective.
getOffset(AstClafer) - Method in class org.clafer.ast.analysis.Offsets
getOffset() - Method in class org.clafer.ir.IrAdd
getOffset() - Method in class org.clafer.ir.IrFilterString
getOffset() - Method in class org.clafer.ir.IrOffset
getOffsetMap() - Method in class org.clafer.ast.analysis.Analysis
getOffsets(AstAbstractClafer) - Method in class org.clafer.ast.analysis.Analysis
getOp() - Method in class org.clafer.ast.AstArithm
getOp() - Method in class org.clafer.ast.AstBoolArithm
getOp() - Method in class org.clafer.ast.AstCompare
getOp() - Method in class org.clafer.ast.AstMembership
getOp() - Method in class org.clafer.ast.AstSetTest
getOp() - Method in class org.clafer.ir.IrCompare
getOp() - Method in class org.clafer.ir.IrSetTest
getOperands() - Method in class org.clafer.ast.AstArithm
getOperands() - Method in class org.clafer.ast.AstBoolArithm
getOperands() - Method in class org.clafer.ir.IrAllDifferent
getOperands() - Method in class org.clafer.ir.IrAnd
getOperands() - Method in class org.clafer.ir.IrLone
getOperands() - Method in class org.clafer.ir.IrOne
getOperands() - Method in class org.clafer.ir.IrOr
getOperands() - Method in class org.clafer.ir.IrSetIntersection
getOperands() - Method in class org.clafer.ir.IrSetUnion
getParent() - Method in class org.clafer.ast.AstConcreteClafer: Returns this Clafer's parent.
getPartialInts(AstRef) - Method in class org.clafer.ast.analysis.Analysis
getPartialIntsMap() - Method in class org.clafer.ast.analysis.Analysis
getPartialSolution(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
getPartialSolutionMap() - Method in class org.clafer.ast.analysis.Analysis
getPossibleParents(int) - Method in class org.clafer.ast.analysis.PartialSolution
getPossiblesSiblings(int) - Method in class org.clafer.ast.analysis.PartialSolution
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropAcyclic
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropAnd
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropArrayToSet
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropArrayToSetCard
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropFilterString
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropIfThenElse
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropIntChannel
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropIntNotMemberSet
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropJoinFunction
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropJoinFunctionCard
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropJoinInjectiveRelationCard
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropJoinRelation
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropLexChainChannel
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropLone
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropMask
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropOne
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropOr
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXC
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXY
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSelectN
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSetDifference
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSetEqual
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqual
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqualC
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSetSum
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSetUnion
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSetUnionCard
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSingleton
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSortedSets
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropSortedSetsCard
getPropagationConditions(int) - Method in class org.clafer.choco.constraint.propagator.PropUnreachable
getQuantifier() - Method in class org.clafer.ast.AstQuantify
getRange() - Method in class org.clafer.ir.IrNotWithin
getRange() - Method in class org.clafer.ir.IrWithin
getRef() - Method in class org.clafer.ast.AstClafer: Returns this Clafer's reference
getRef() - Method in class org.clafer.instance.InstanceClafer
getRefs() - Method in class org.clafer.ir.IrJoinFunction
getRefVars(AstRef) - Method in class org.clafer.ast.compiler.AstSolutionMap: Returns the reference variables associated to the reference.
getResult() - Method in class org.clafer.ir.IrFilterString
getRight() - Method in class org.clafer.ast.AstCompare
getRight() - Method in class org.clafer.ast.AstDifference
getRight() - Method in class org.clafer.ast.AstIntersection
getRight() - Method in class org.clafer.ast.AstJoin
getRight() - Method in class org.clafer.ast.AstSetTest
getRight() - Method in class org.clafer.ast.AstUnion
getRight() - Method in class org.clafer.collection.Either
getRight() - Method in class org.clafer.collection.Left
getRight() - Method in class org.clafer.collection.Right
getRight() - Method in class org.clafer.ir.IrCompare
getRight() - Method in class org.clafer.ir.IrIfOnlyIf
getRight() - Method in class org.clafer.ir.IrSetTest
getRight() - Method in class org.clafer.ir.IrXor
getScope(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
getScope() - Method in class org.clafer.ast.analysis.Analysis
getScope(Scriptable) - Method in class org.clafer.javascript.JavascriptContext
getScope(AstClafer) - Method in class org.clafer.scope.Scope: Returns the scope of the Clafer.
getScoped() - Method in class org.clafer.scope.Scope: Returns the set of Clafers that have an explicit scope.
getSet() - Method in class org.clafer.ast.AstCard
getSet() - Method in class org.clafer.ast.AstMembership
getSet() - Method in class org.clafer.ast.AstSum
getSet() - Method in class org.clafer.ir.IrBoolChannel
getSet() - Method in class org.clafer.ir.IrCard
getSet() - Method in class org.clafer.ir.IrFilterString
getSet() - Method in class org.clafer.ir.IrMask
getSet() - Method in class org.clafer.ir.IrMember
getSet() - Method in class org.clafer.ir.IrNotMember
getSet() - Method in class org.clafer.ir.IrOffset
getSet() - Method in class org.clafer.ir.IrSetSum
getSets() - Method in class org.clafer.ir.IrIntChannel
getSets() - Method in class org.clafer.ir.IrSortSets
getSetValue(IrSetVar) - Method in class org.clafer.ir.compiler.IrSolutionMap
getSetValues(IrSetVar...) - Method in class org.clafer.ir.compiler.IrSolutionMap
getSetVar(IrSetVar) - Method in class org.clafer.ir.compiler.IrSolutionMap
getSetVars(IrSetVar...) - Method in class org.clafer.ir.compiler.IrSolutionMap
getSetVars() - Method in class org.clafer.ir.compiler.IrSolutionMap
getSiblingVars(AstClafer) - Method in class org.clafer.ast.compiler.AstSolutionMap: Returns the sibling variables associated with the Clafer.
getSnd() - Method in class org.clafer.collection.Pair
getSnd() - Method in class org.clafer.collection.Triple
getSndThd() - Method in class org.clafer.collection.Triple
getSoftVar(AstConstraint) - Method in class org.clafer.ast.compiler.AstSolutionMap: Returns the soft variable associated to the constraint.
getSoftVars() - Method in class org.clafer.ast.compiler.AstSolutionMap
getSoftVarsMap() - Method in class org.clafer.ast.compiler.AstSolutionMap
getSolution() - Method in class org.clafer.ast.analysis.PartialSolution
getSolutionMap() - Method in class org.clafer.compiler.ClaferOptimizer
getSolutionMap() - Method in class org.clafer.compiler.ClaferSolver
getSourceType() - Method in class org.clafer.ast.AstRef
getString() - Method in class org.clafer.ir.IrFilterString
getStrings() - Method in class org.clafer.ir.IrSortStrings
getStrings() - Method in class org.clafer.ir.IrSortStringsChannel
getSubId(AstAbstractClafer, int) - Method in class org.clafer.ast.analysis.Analysis
getSubs() - Method in class org.clafer.ast.AstAbstractClafer: Returns the Clafers that extend this Clafer
getSubset() - Method in class org.clafer.ir.IrSubsetEq
getSubtrahend() - Method in class org.clafer.ir.IrSetDifference
getSumSoftVar() - Method in class org.clafer.ast.compiler.AstSolutionMap: Returns the variable equal to the sum of the soft variables.
getSuperClafer() - Method in class org.clafer.ast.AstClafer: Returns the supertype of this Clafer.
getSuperHierarchy(AstClafer) - Static method in class org.clafer.ast.AstUtil: Finds the supertype hierarchy of the Clafer.
getSuperId(AstClafer, int) - Method in class org.clafer.ast.analysis.Analysis
getSuperIds(AstClafer, int) - Method in class org.clafer.ast.analysis.Analysis
getSupers(AstClafer) - Static method in class org.clafer.ast.AstUtil: Finds all the supertypes of the Clafer in order of lowest to highest.
getSuperset() - Method in class org.clafer.ir.IrSubsetEq
getSyntax() - Method in enum org.clafer.ast.AstArithm.Op
getSyntax() - Method in enum org.clafer.ast.AstBoolArithm.Op
getSyntax() - Method in enum org.clafer.ast.AstCompare.Op
getSyntax() - Method in enum org.clafer.ast.AstMembership.Op
getSyntax() - Method in enum org.clafer.ast.AstQuantify.Quantifier
getSyntax() - Method in enum org.clafer.ast.AstSetTest.Op
getSyntax() - Method in enum org.clafer.ir.IrCompare.Op
getSyntax() - Method in enum org.clafer.ir.IrSetTest.Op
getTail() - Method in class org.clafer.collection.FList: Returns the a sublist of this list without the first element.
getTake() - Method in class org.clafer.ir.IrJoinFunction
getTake() - Method in class org.clafer.ir.IrJoinRelation
getTarget() - Method in class org.clafer.ast.AstDowncast
getTarget() - Method in class org.clafer.ast.AstUpcast
getTargetType() - Method in class org.clafer.ast.AstRef
getThd() - Method in class org.clafer.collection.Triple
getTo() - Method in class org.clafer.ir.IrMask
getTo() - Method in class org.clafer.ir.IrUnreachable
getTopClafers() - Method in class org.clafer.instance.InstanceModel
getTopClafers(AstConcreteClafer) - Method in class org.clafer.instance.InstanceModel
getTopParent(AstClafer) - Static method in class org.clafer.ast.AstUtil: Find the highest non-root Clafer above the supplied one.
getType(AstExpr) - Method in class org.clafer.ast.analysis.Analysis
getType() - Method in class org.clafer.ast.AstConstant
getType() - Method in class org.clafer.ast.AstGlobal: The type of this expression.
getType() - Method in class org.clafer.instance.InstanceClafer
getType() - Method in class org.clafer.instance.InstanceRef
getTypeHierarchyRoot() - Method in class org.clafer.ast.AstModel: Returns the type every non-primitive type extends from.
getTypeMap() - Method in class org.clafer.ast.analysis.Analysis
getUnionType() - Method in class org.clafer.ast.analysis.Type
getUnknownClafers() - Method in class org.clafer.ast.analysis.PartialSolution
getValue() - Method in class org.clafer.ast.AstConstant
getValue() - Method in class org.clafer.collection.Left
getValue() - Method in class org.clafer.collection.MutableBoolean
getValue() - Method in class org.clafer.collection.Right
getValue() - Method in class org.clafer.instance.InstanceRef
getValue() - Method in class org.clafer.ir.IrBoolConstant
getValue() - Method in class org.clafer.ir.IrCount
getValue() - Method in class org.clafer.ir.IrIntConstant
getValue() - Method in class org.clafer.ir.IrNotWithin
getValue() - Method in class org.clafer.ir.IrSetConstant
getValue() - Method in class org.clafer.ir.IrSingleton
getValue() - Method in class org.clafer.ir.IrWithin
getValues() - Method in enum org.clafer.ir.IrBoolDomain
getValues() - Method in class org.clafer.ir.IrBoundDomain: Returns all the values contained in this domain.
getValues() - Method in interface org.clafer.ir.IrDomain: Returns all the values contained in this domain.
getValues() - Method in class org.clafer.ir.IrEmptyDomain: Returns all the values contained in this domain.
getValues() - Method in class org.clafer.ir.IrEnumDomain: Returns all the values contained in this domain.
getVariables() - Method in class org.clafer.ir.IrModule
getVertex(V) - Method in class org.clafer.graph.KeyGraph: Returns the vertex associated with the data.
getVertices() - Method in interface org.clafer.graph.Graph: Return the set of vertices contained in the graph.
getVertices() - Method in class org.clafer.graph.KeyGraph: Return the set of vertices contained in the graph.
global(AstClafer) - Static method in class org.clafer.ast.Asts
GlobalCardAnalyzer - Class in org.clafer.ast.analysis
GlobalCardAnalyzer() - Constructor for class org.clafer.ast.analysis.GlobalCardAnalyzer
Graph<V> - Interface in org.clafer.graph: A mutable directed graph.
GraphUtil - Class in org.clafer.graph
greaterThan(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
greaterThan(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
greaterThan(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
greaterThan(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.Irs
greaterThanEqual(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
greaterThanEqual(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
greaterThanEqual(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
greaterThanEqual(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.Irs

H

hasBreakableChildren(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
hasChildren() - Method in class org.clafer.ast.AstClafer: Checks if this Clafer has any concrete children.
hasChildren() - Method in class org.clafer.instance.InstanceClafer
hasClafer(int) - Method in class org.clafer.ast.analysis.PartialSolution
hasConstraints() - Method in class org.clafer.ast.AstClafer: Checks if this Clafer has any constraints.
hasGlobalCardinality() - Method in class org.clafer.choco.constraint.propagator.PropArrayToSetCard
hasGlobalCardinality() - Method in class org.clafer.choco.constraint.propagator.PropJoinFunctionCard
hasGlobalCardinality() - Method in class org.clafer.ir.IrArrayToSet
hasGlobalCardinality() - Method in class org.clafer.ir.IrJoinFunction
hashCode() - Method in class org.clafer.ast.analysis.Type
hashCode() - Method in class org.clafer.ast.AstArithm
hashCode() - Method in class org.clafer.ast.AstBoolArithm
hashCode() - Method in class org.clafer.ast.AstClafer
hashCode() - Method in class org.clafer.ast.AstConstraint
hashCode() - Method in class org.clafer.ast.AstDifference
hashCode() - Method in class org.clafer.ast.AstDowncast
hashCode() - Method in class org.clafer.ast.AstGlobal
hashCode() - Method in class org.clafer.ast.AstIntersection
hashCode() - Method in class org.clafer.ast.AstLocal
hashCode() - Method in class org.clafer.ast.AstRef
hashCode() - Method in class org.clafer.ast.AstUnion
hashCode() - Method in class org.clafer.ast.AstUpcast
hashCode() - Method in class org.clafer.ast.Card
hashCode() - Method in class org.clafer.collection.FixedCapacityIntSet
hashCode() - Method in class org.clafer.collection.Just
hashCode() - Method in class org.clafer.collection.Left
hashCode() - Method in class org.clafer.collection.Nothing
hashCode() - Method in class org.clafer.collection.Pair
hashCode() - Method in class org.clafer.collection.Right
hashCode() - Method in class org.clafer.collection.Triple
hashCode(Object) - Static method in class org.clafer.common.Util: Compute a hash code in a null-friendly fashion.
hashCode() - Method in class org.clafer.graph.Vertex
hashCode() - Method in class org.clafer.ir.IrAbstractBool
hashCode() - Method in class org.clafer.ir.IrAbstractInt
hashCode() - Method in class org.clafer.ir.IrAbstractSet
hashCode() - Method in class org.clafer.ir.IrAcyclic
hashCode() - Method in class org.clafer.ir.IrAdd
hashCode() - Method in class org.clafer.ir.IrAllDifferent
hashCode() - Method in class org.clafer.ir.IrAnd
hashCode() - Method in class org.clafer.ir.IrArrayToSet
hashCode() - Method in class org.clafer.ir.IrBoolChannel
hashCode() - Method in class org.clafer.ir.IrBoolConstant
hashCode() - Method in class org.clafer.ir.IrBoundDomain
hashCode() - Method in class org.clafer.ir.IrCard
hashCode() - Method in class org.clafer.ir.IrCompare
hashCode() - Method in class org.clafer.ir.IrCount
hashCode() - Method in class org.clafer.ir.IrDiv
hashCode() - Method in class org.clafer.ir.IrElement
hashCode() - Method in class org.clafer.ir.IrEmptyDomain
hashCode() - Method in class org.clafer.ir.IrEnumDomain
hashCode() - Method in class org.clafer.ir.IrFilterString
hashCode() - Method in class org.clafer.ir.IrIfOnlyIf
hashCode() - Method in class org.clafer.ir.IrIfThenElse
hashCode() - Method in class org.clafer.ir.IrImplies
hashCode() - Method in class org.clafer.ir.IrIntChannel
hashCode() - Method in class org.clafer.ir.IrIntConstant
hashCode() - Method in class org.clafer.ir.IrIntVar
hashCode() - Method in class org.clafer.ir.IrJoinFunction
hashCode() - Method in class org.clafer.ir.IrJoinRelation
hashCode() - Method in class org.clafer.ir.IrLone
hashCode() - Method in class org.clafer.ir.IrMask
hashCode() - Method in class org.clafer.ir.IrMember
hashCode() - Method in class org.clafer.ir.IrMinus
hashCode() - Method in class org.clafer.ir.IrMul
hashCode() - Method in class org.clafer.ir.IrNot
hashCode() - Method in class org.clafer.ir.IrNotImplies
hashCode() - Method in class org.clafer.ir.IrNotMember
hashCode() - Method in class org.clafer.ir.IrNotWithin
hashCode() - Method in class org.clafer.ir.IrOffset
hashCode() - Method in class org.clafer.ir.IrOne
hashCode() - Method in class org.clafer.ir.IrOr
hashCode() - Method in class org.clafer.ir.IrSelectN
hashCode() - Method in class org.clafer.ir.IrSetConstant
hashCode() - Method in class org.clafer.ir.IrSetDifference
hashCode() - Method in class org.clafer.ir.IrSetIntersection
hashCode() - Method in class org.clafer.ir.IrSetSum
hashCode() - Method in class org.clafer.ir.IrSetTernary
hashCode() - Method in class org.clafer.ir.IrSetTest
hashCode() - Method in class org.clafer.ir.IrSetUnion
hashCode() - Method in class org.clafer.ir.IrSetVar
hashCode() - Method in class org.clafer.ir.IrSingleton
hashCode() - Method in class org.clafer.ir.IrSortSets
hashCode() - Method in class org.clafer.ir.IrSortStrings
hashCode() - Method in class org.clafer.ir.IrSortStringsChannel
hashCode() - Method in class org.clafer.ir.IrSubsetEq
hashCode() - Method in class org.clafer.ir.IrTernary
hashCode() - Method in class org.clafer.ir.IrUnreachable
hashCode() - Method in class org.clafer.ir.IrWithin
hashCode() - Method in class org.clafer.ir.IrXor
hashCode() - Method in class org.clafer.objective.Objective
hasHigh() - Method in class org.clafer.ast.Card: Detects if this cardinality is bounded above.
hasInheritedRef(AstClafer) - Static method in class org.clafer.ast.AstUtil
hasInteritedBreakableChildren(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
hasLow() - Method in class org.clafer.ast.Card: Detects if this cardinality is bounded below.
hasNext() - Method in class org.clafer.collection.ArrayIntIterator
hasNext() - Method in class org.clafer.collection.BoundIntIterator
hasNext() - Method in class org.clafer.collection.EmptyIntIterator
hasNext() - Method in class org.clafer.collection.ReverseArrayIntIterator
hasNext() - Method in class org.clafer.collection.ReverseBoundIntIterator
hasNext() - Method in class org.clafer.collection.SingleIntIterator
hasNonEmptyIntersectionType(AstClafer, AstClafer) - Static method in class org.clafer.ast.AstUtil: Detects if a set of t1 can share elements with a set of t2.
hasParent() - Method in class org.clafer.ast.AstConcreteClafer: Checks if this Clafer has a parent.
hasPath(Vertex<V>, Vertex<V>, Graph<V>) - Static method in class org.clafer.graph.GraphUtil
hasRef() - Method in class org.clafer.ast.AstClafer: Check if this Clafer references another Clafer.
hasRef() - Method in class org.clafer.instance.InstanceClafer
hasSuperClafer() - Method in class org.clafer.ast.AstClafer: Check if this Clafer has a supertype.

I

ifOnlyIf(AstBoolExpr...) - Static method in class org.clafer.ast.Asts
ifOnlyIf(IrBoolExpr, IrBoolExpr) - Static method in class org.clafer.ir.Irs
ifThenElse(AstBoolExpr, AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
ifThenElse(AstBoolExpr, AstBoolExpr, AstBoolExpr) - Static method in class org.clafer.ast.Asts
ifThenElse(BoolVar, BoolVar, BoolVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing antecedent => consequent && !antecedent => alternative.
ifThenElse(IrBoolExpr, IrBoolExpr, IrBoolExpr) - Static method in class org.clafer.ir.Irs
ImplicationFlattener - Class in org.clafer.ir.analysis
implies(AstBoolExpr...) - Static method in class org.clafer.ast.Asts
implies(IrBoolExpr, IrBoolExpr) - Static method in class org.clafer.ir.Irs
in(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
in(int, int[]) - Static method in class org.clafer.common.Util: Check if the array contains the item at least once.
in(T, T[]) - Static method in class org.clafer.common.Util: Check if the array contains the item at least once.
init() - Method in class org.clafer.javascript.JavascriptShell
instance() - Method in class org.clafer.compiler.ClaferOptimizer
instance() - Method in interface org.clafer.compiler.ClaferSearch
instance() - Method in class org.clafer.compiler.ClaferSolver
InstanceClafer - Class in org.clafer.instance
InstanceClafer(AstClafer, int, InstanceRef, InstanceClafer...) - Constructor for class org.clafer.instance.InstanceClafer
InstanceModel - Class in org.clafer.instance
InstanceModel(InstanceClafer...) - Constructor for class org.clafer.instance.InstanceModel
InstanceRef - Class in org.clafer.instance
InstanceRef(AstClafer, int) - Constructor for class org.clafer.instance.InstanceRef
intChannel(SetVar[], IntVar[]) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing x ∈ sets[i] <=> ints[x] = i.
intChannel(IrIntExpr[], IrSetExpr[]) - Static method in class org.clafer.ir.Irs
inter(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
intercalate(String, T[]) - Static method in class org.clafer.common.Util: Concatenate the string representation of the items with a separator separating each item.
intercalate(String, Iterable<?>) - Static method in class org.clafer.common.Util: Concatenate the string representation of the items with a separator separating each item.
internals() - Method in class org.clafer.javascript.JavascriptShell: Returns information about the final Choco CSP.
internals(boolean) - Method in class org.clafer.javascript.JavascriptShell: Returns information about the final Choco CSP.
intersection(SetVar[], IntVar[], SetVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {@code operands[0] ∩ operands[1] ∩ ...
intersection(IrSetExpr...) - Static method in class org.clafer.ir.Irs
intersection(IrDomain, IrDomain) - Static method in class org.clafer.ir.IrUtil
intersectionEnvs(IrSetExpr...) - Static method in class org.clafer.ir.IrUtil
intersectionKers(IrSetExpr...) - Static method in class org.clafer.ir.IrUtil
intersects(IrDomain, IrDomain) - Static method in class org.clafer.ir.IrUtil
intHigh(int) - Static method in class org.clafer.scope.Scope: Equivalent to builder().intHigh(intHigh).
intHigh(int) - Method in class org.clafer.scope.ScopeBuilder: Set the highest (inclusive) integer used for solving.
intLow(int) - Static method in class org.clafer.scope.Scope: Equivalent to builder().intLow(intLow).
intLow(int) - Method in class org.clafer.scope.ScopeBuilder: Set the lowest (inclusive) integer used for solving.
IntType - Static variable in class org.clafer.ast.Asts
invert() - Method in enum org.clafer.ir.IrBoolDomain: Reverse the domain.
IrAbstractBool - Class in org.clafer.ir
IrAbstractBool(IrBoolDomain) - Constructor for class org.clafer.ir.IrAbstractBool
IrAbstractInt - Class in org.clafer.ir
IrAbstractInt(IrDomain) - Constructor for class org.clafer.ir.IrAbstractInt
IrAbstractSet - Class in org.clafer.ir
IrAbstractSet(IrDomain, IrDomain, IrDomain) - Constructor for class org.clafer.ir.IrAbstractSet
IrAcyclic - Class in org.clafer.ir
IrAcyclic(IrIntExpr[], IrBoolDomain) - Constructor for class org.clafer.ir.IrAcyclic
IrAdd - Class in org.clafer.ir: offset + foldl (+) addends
IrAllDifferent - Class in org.clafer.ir
IrAnd - Class in org.clafer.ir
IrArrayToSet - Class in org.clafer.ir
IrBoolChannel - Class in org.clafer.ir
IrBoolConstant - Class in org.clafer.ir
IrBoolDomain - Enum in org.clafer.ir: Boolean domain.
IrBoolExpr - Interface in org.clafer.ir: An immutable expression that evaluates to a boolean.
IrBoolExprVisitor<A,B> - Interface in org.clafer.ir: Dynamic dispatch for IR boolean expressions.
IrBoolExprVisitorAdapter<A,B> - Class in org.clafer.ir
IrBoolExprVisitorAdapter() - Constructor for class org.clafer.ir.IrBoolExprVisitorAdapter
IrBoolVar - Class in org.clafer.ir
IrBoundDomain - Class in org.clafer.ir: A contiguous domain between a low and high bound.
IrBoundDomain(int, int) - Constructor for class org.clafer.ir.IrBoundDomain
IrCard - Class in org.clafer.ir
IrCompare - Class in org.clafer.ir: left `op` right + offset
IrCompare.Op - Enum in org.clafer.ir
IrCompiler - Class in org.clafer.ir.compiler: Compile from IR to Choco.
IrConstant - Interface in org.clafer.ir
IrCount - Class in org.clafer.ir
IrCount(int, IrIntExpr[], IrDomain) - Constructor for class org.clafer.ir.IrCount
IrDiv - Class in org.clafer.ir: dividend / divisor
IrDomain - Interface in org.clafer.ir: Integer domain.
IrElement - Class in org.clafer.ir: Returns array[index].
IrEmptyDomain - Class in org.clafer.ir: A domain of size 0.
IrEmptyDomain() - Constructor for class org.clafer.ir.IrEmptyDomain
IrEnumDomain - Class in org.clafer.ir: A domain over explicitly defined values.
IrEnumDomain(int[]) - Constructor for class org.clafer.ir.IrEnumDomain
IrException - Exception in org.clafer.ir
IrException(String, Throwable) - Constructor for exception org.clafer.ir.IrException
IrException(String) - Constructor for exception org.clafer.ir.IrException
IrException(Throwable) - Constructor for exception org.clafer.ir.IrException
IrExpr - Interface in org.clafer.ir: An immutable expression.
IrFilterString - Class in org.clafer.ir
IrFilterString(IrSetExpr, int, IrIntExpr[], IrIntExpr[], IrBoolDomain) - Constructor for class org.clafer.ir.IrFilterString
IrIfOnlyIf - Class in org.clafer.ir
IrIfThenElse - Class in org.clafer.ir
IrIfThenElse(IrBoolExpr, IrBoolExpr, IrBoolExpr, IrBoolDomain) - Constructor for class org.clafer.ir.IrIfThenElse
IrImplies - Class in org.clafer.ir
IrIntChannel - Class in org.clafer.ir
IrIntConstant - Class in org.clafer.ir
IrIntExpr - Interface in org.clafer.ir: An immutable expression that evaluates to an integer.
IrIntExprVisitor<A,B> - Interface in org.clafer.ir: Dynamic dispatch for IR integer expressions.
IrIntVar - Class in org.clafer.ir
IrJoinFunction - Class in org.clafer.ir
IrJoinRelation - Class in org.clafer.ir
IrLone - Class in org.clafer.ir
IrMask - Class in org.clafer.ir
IrMember - Class in org.clafer.ir
IrMinus - Class in org.clafer.ir
IrMinus(IrIntExpr, IrDomain) - Constructor for class org.clafer.ir.IrMinus
IrModule - Class in org.clafer.ir: The compiled model in IR.
IrModule() - Constructor for class org.clafer.ir.IrModule
IrModule(int, int) - Constructor for class org.clafer.ir.IrModule
IrMul - Class in org.clafer.ir: multiplicant * multiplier
IrNot - Class in org.clafer.ir
IrNot(IrBoolExpr, IrBoolDomain) - Constructor for class org.clafer.ir.IrNot
IrNotImplies - Class in org.clafer.ir
IrNotMember - Class in org.clafer.ir
IrNotWithin - Class in org.clafer.ir
IrOffset - Class in org.clafer.ir
IrOne - Class in org.clafer.ir
IrOr - Class in org.clafer.ir
IrRewriter<T> - Class in org.clafer.ir
IrRewriter() - Constructor for class org.clafer.ir.IrRewriter
Irs - Class in org.clafer.ir: Import this class to access all IR building functions.
IrSelectN - Class in org.clafer.ir
IrSetConstant - Class in org.clafer.ir
IrSetDifference - Class in org.clafer.ir
IrSetExpr - Interface in org.clafer.ir: An immutable expression that evaluates to a set of integers.
IrSetExprVisitor<A,B> - Interface in org.clafer.ir: Dynamic dispatch for IR set expressions.
IrSetIntersection - Class in org.clafer.ir
IrSetSum - Class in org.clafer.ir
IrSetSum(IrSetExpr, IrDomain) - Constructor for class org.clafer.ir.IrSetSum
IrSetTernary - Class in org.clafer.ir
IrSetTernary(IrBoolExpr, IrSetExpr, IrSetExpr, IrDomain, IrDomain, IrDomain) - Constructor for class org.clafer.ir.IrSetTernary
IrSetTest - Class in org.clafer.ir
IrSetTest.Op - Enum in org.clafer.ir
IrSetUnion - Class in org.clafer.ir
IrSetVar - Class in org.clafer.ir
IrSingleton - Class in org.clafer.ir
IrSolutionMap - Class in org.clafer.ir.compiler: Maps IR non-constant variables to their translated Choco variables.
IrSortSets - Class in org.clafer.ir
IrSortSets(IrSetExpr[], IrBoolDomain) - Constructor for class org.clafer.ir.IrSortSets
IrSortStrings - Class in org.clafer.ir
IrSortStringsChannel - Class in org.clafer.ir
IrSortStringsChannel(IrIntExpr[][], IrIntExpr[], IrBoolDomain) - Constructor for class org.clafer.ir.IrSortStringsChannel
IrSubsetEq - Class in org.clafer.ir
IrSubsetEq(IrSetExpr, IrSetExpr, IrBoolDomain) - Constructor for class org.clafer.ir.IrSubsetEq
IrTernary - Class in org.clafer.ir
IrTernary(IrBoolExpr, IrIntExpr, IrIntExpr, IrDomain) - Constructor for class org.clafer.ir.IrTernary
IrUnreachable - Class in org.clafer.ir
IrUnreachable(IrIntExpr[], int, int, IrBoolDomain) - Constructor for class org.clafer.ir.IrUnreachable
IrUtil - Class in org.clafer.ir
IrUtil.Ordering - Enum in org.clafer.ir
IrVar - Interface in org.clafer.ir: A variable.
IrWithin - Class in org.clafer.ir
IrXor - Class in org.clafer.ir
IrXor(IrBoolExpr, IrBoolExpr, IrBoolDomain) - Constructor for class org.clafer.ir.IrXor
isAssignable(AstClafer, AstClafer) - Static method in class org.clafer.ast.AstUtil: Detects if a set of from is also a set of to.
isBasicOptimizations() - Method in class org.clafer.compiler.ClaferOptions
isBasicSymmetryBreaking() - Method in class org.clafer.compiler.ClaferOptions
isBasicType() - Method in class org.clafer.ast.analysis.Type
isBounded() - Method in class org.clafer.ast.Card: Detects if this cardinality is either bounded below and/or above.
isBounded() - Method in enum org.clafer.ir.IrBoolDomain
isBounded() - Method in class org.clafer.ir.IrBoundDomain: Checks if this domain is defined as a lower and upper bound.
isBounded() - Method in interface org.clafer.ir.IrDomain: Checks if this domain is defined as a lower and upper bound.
isBounded() - Method in class org.clafer.ir.IrEmptyDomain: Checks if this domain is defined as a lower and upper bound.
isBounded() - Method in class org.clafer.ir.IrEnumDomain: Checks if this domain is defined as a lower and upper bound.
isBreakableRef(AstRef) - Method in class org.clafer.ast.analysis.Analysis
isBreakableRefId(AstRef, int) - Method in class org.clafer.ast.analysis.Analysis
isBreakableTarget(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
isClear() - Method in class org.clafer.collection.MutableBoolean
isConstant(IrBoolExpr) - Static method in class org.clafer.ir.IrUtil
isConstant(IrIntExpr) - Static method in class org.clafer.ir.IrUtil
isConstant(IrSetExpr) - Static method in class org.clafer.ir.IrUtil
isDisjoint() - Method in class org.clafer.ast.AstDecl
isDisjoint() - Method in class org.clafer.ir.IrSetUnion
isDomIntersectDom(IntVar, IntVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if an integer's domain is contained entirely in the other integer's domain.
isDomIntersectEnv(IntVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if an integer's domain is contained entirely in the set's envelope.
isDomIntersectKer(IntVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if an integer's domain is contained entirely in the set's kernel.
isDomSubsetDom(IntVar, IntVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if an integer's domain is contained entirely in the other integer's domain.
isDomSubsetEnv(IntVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if an integer's domain is contained entirely in the set's envelope.
isDomSubsetKer(IntVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if an integer's domain is contained entirely in the set's kernel.
isEmpty() - Method in class org.clafer.collection.FixedCapacityIntSet
isEmpty() - Method in class org.clafer.collection.FList: Checks if the list is empty.
isEmpty() - Method in enum org.clafer.ir.IrBoolDomain
isEmpty() - Method in class org.clafer.ir.IrBoundDomain: Checks if this domain contains any values.
isEmpty() - Method in interface org.clafer.ir.IrDomain: Checks if this domain contains any values.
isEmpty() - Method in class org.clafer.ir.IrEmptyDomain: Checks if this domain contains any values.
isEmpty() - Method in class org.clafer.ir.IrEnumDomain: Checks if this domain contains any values.
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropAcyclic
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropAnd
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropArrayToSet
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropArrayToSetCard
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropFilterString
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropIfThenElse
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropIntChannel
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropIntNotMemberSet
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropJoinFunction
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropJoinFunctionCard
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropJoinInjectiveRelationCard
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropJoinRelation
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropLexChainChannel
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropLone
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropMask
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropOne
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropOr
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXC
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXY
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSelectN
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSetDifference
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSetEqual
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqual
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqualC
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSetSum
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSetUnion
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSetUnionCard
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSingleton
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSortedSets
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropSortedSetsCard
isEntailed() - Method in class org.clafer.choco.constraint.propagator.PropUnreachable
isEnvIntersectEnv(SetVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if a set's envelope is contained entirely in the other set's envelope.
isEnvIntersectKer(SetVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if a set's envelope is contained entirely in the set's kernel.
isEnvSubsetDom(SetVar, IntVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if a set's envelope is contained entirely in the integer's domain.
isEnvSubsetEnv(SetVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if a set's envelope is contained entirely in the other set's envelope.
isEnvSubsetKer(SetVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if a set's envelope is contained entirely in the set's kernel.
isEquality() - Method in enum org.clafer.ir.IrCompare.Op
isExact() - Method in class org.clafer.ast.Card: Detects if this cardinality is so restrictive that only one possible value is allowed.
isFalse(IrBoolExpr) - Static method in class org.clafer.ir.IrUtil
isFullOptimizations() - Method in class org.clafer.compiler.ClaferOptions
isFullSymmetryBreaking() - Method in class org.clafer.compiler.ClaferOptions
isHard(AstConstraint) - Method in class org.clafer.ast.analysis.Analysis
isHard() - Method in class org.clafer.ast.AstConstraint
isInequality() - Method in enum org.clafer.ir.IrCompare.Op
isInheritedBreakableTarget(AstClafer) - Method in class org.clafer.ast.analysis.Analysis
isInjective() - Method in class org.clafer.ir.IrJoinRelation
isJust() - Method in class org.clafer.collection.Just
isJust() - Method in class org.clafer.collection.Maybe
isJust() - Method in class org.clafer.collection.Nothing
isKerIntersectKer(SetVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if a set's kernel is contained entirely in the other set's kernel.
isKerSubsetDom(SetVar, IntVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if a set's kernel is contained entirely in the integer's domain.
isKerSubsetEnv(SetVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if a set's kernel is contained entirely in the set's envelope.
isKerSubsetKer(SetVar, SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if a set's kernel is contained entirely in the other set's kernel.
isLeft() - Method in class org.clafer.collection.Either
isLeft() - Method in class org.clafer.collection.Left
isLeft() - Method in class org.clafer.collection.Right
isMaximize() - Method in class org.clafer.compiler.ClaferOptimizer
isMaximize() - Method in class org.clafer.objective.Objective: Check if this objective is a maximization objective.
isMinimize() - Method in class org.clafer.compiler.ClaferOptimizer
isMinimize() - Method in class org.clafer.objective.Objective: Check if this objective is a minimization objective.
isNegative() - Method in class org.clafer.ir.IrAcyclic
isNegative() - Method in class org.clafer.ir.IrAllDifferent
isNegative() - Method in class org.clafer.ir.IrAnd
isNegative() - Method in class org.clafer.ir.IrBoolChannel
isNegative() - Method in interface org.clafer.ir.IrBoolExpr: Is the expression in negative form.
isNegative() - Method in class org.clafer.ir.IrBoolVar
isNegative() - Method in class org.clafer.ir.IrCompare
isNegative() - Method in class org.clafer.ir.IrFilterString
isNegative() - Method in class org.clafer.ir.IrIfOnlyIf
isNegative() - Method in class org.clafer.ir.IrIfThenElse
isNegative() - Method in class org.clafer.ir.IrImplies
isNegative() - Method in class org.clafer.ir.IrIntChannel
isNegative() - Method in class org.clafer.ir.IrLone
isNegative() - Method in class org.clafer.ir.IrMember
isNegative() - Method in class org.clafer.ir.IrNot
isNegative() - Method in class org.clafer.ir.IrNotImplies
isNegative() - Method in class org.clafer.ir.IrNotMember
isNegative() - Method in class org.clafer.ir.IrNotWithin
isNegative() - Method in class org.clafer.ir.IrOne
isNegative() - Method in class org.clafer.ir.IrOr
isNegative() - Method in class org.clafer.ir.IrSelectN
isNegative() - Method in class org.clafer.ir.IrSetTest
isNegative() - Method in class org.clafer.ir.IrSortSets
isNegative() - Method in class org.clafer.ir.IrSortStrings
isNegative() - Method in class org.clafer.ir.IrSortStringsChannel
isNegative() - Method in class org.clafer.ir.IrSubsetEq
isNegative() - Method in class org.clafer.ir.IrUnreachable
isNegative() - Method in class org.clafer.ir.IrWithin
isNegative() - Method in class org.clafer.ir.IrXor
isNothing() - Method in class org.clafer.collection.Just
isNothing() - Method in class org.clafer.collection.Maybe
isNothing() - Method in class org.clafer.collection.Nothing
isPreferLargerInstances() - Method in class org.clafer.compiler.ClaferOptions
isPreferSmallerInstances() - Method in class org.clafer.compiler.ClaferOptions
isRight() - Method in class org.clafer.collection.Either
isRight() - Method in class org.clafer.collection.Left
isRight() - Method in class org.clafer.collection.Right
isRoot(AstConcreteClafer) - Static method in class org.clafer.ast.AstUtil: Detects if the Clafer is the implicit root of the model.
isSet() - Method in class org.clafer.collection.MutableBoolean
isSoft(AstConstraint) - Method in class org.clafer.ast.analysis.Analysis
isSoft() - Method in class org.clafer.ast.AstConstraint
isStrict() - Method in class org.clafer.ir.IrSortStrings
isSubsetOf(IrDomain, IrDomain) - Static method in class org.clafer.ir.IrUtil
isTop(AstClafer) - Static method in class org.clafer.ast.AstUtil: Detects if the Clafer is directly under the root.
isTrue(IrBoolExpr) - Static method in class org.clafer.ir.IrUtil
isTypeRoot(AstAbstractClafer) - Static method in class org.clafer.ast.AstUtil: Detects if the Clafer is the implicit type root of the model.
isUnionType(AstClafer, AstClafer[]) - Static method in class org.clafer.ast.AstUtil: Detects if the union type is fully covered by the partitions.
isUnique() - Method in class org.clafer.ast.AstRef
isUnique(int[]) - Static method in class org.clafer.common.Util: Check if every element in the array is unique.
isUnique(T[]) - Static method in class org.clafer.common.Util: Check if every element in the array is unique.
iterate(IntIterator) - Static method in class org.clafer.common.Util: Enumerate the iterator and return the values discovered.
iterateDom(IntVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Enumerate the domain of a integer variable.
iterateEnv(SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Enumerate the envelope of a set variable.
iterateKer(SetVar) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Enumerate the kernel of a set variable.
iterator() - Method in class org.clafer.collection.FixedCapacityIntSet
iterator() - Method in enum org.clafer.ir.IrBoolDomain
iterator(boolean) - Method in enum org.clafer.ir.IrBoolDomain
iterator() - Method in class org.clafer.ir.IrBoundDomain: Iterate over the domain in increasing order.
iterator(boolean) - Method in class org.clafer.ir.IrBoundDomain: Iterate over the domain in the specified order.
iterator() - Method in interface org.clafer.ir.IrDomain: Iterate over the domain in increasing order.
iterator(boolean) - Method in interface org.clafer.ir.IrDomain: Iterate over the domain in the specified order.
iterator() - Method in class org.clafer.ir.IrEmptyDomain: Iterate over the domain in increasing order.
iterator(boolean) - Method in class org.clafer.ir.IrEmptyDomain: Iterate over the domain in the specified order.
iterator() - Method in class org.clafer.ir.IrEnumDomain: Iterate over the domain in increasing order.
iterator(boolean) - Method in class org.clafer.ir.IrEnumDomain: Iterate over the domain in the specified order.

J

Javascript - Class in org.clafer.javascript: This class provides various methods of loading models and scopes via the Javascript API.
JavascriptContext - Class in org.clafer.javascript
JavascriptContext() - Constructor for class org.clafer.javascript.JavascriptContext
JavascriptException - Exception in org.clafer.javascript
JavascriptException() - Constructor for exception org.clafer.javascript.JavascriptException
JavascriptException(String) - Constructor for exception org.clafer.javascript.JavascriptException
JavascriptException(Throwable) - Constructor for exception org.clafer.javascript.JavascriptException
JavascriptException(String, Throwable) - Constructor for exception org.clafer.javascript.JavascriptException
JavascriptShell - Class in org.clafer.javascript: The Javascript CLI.
JavascriptShell() - Constructor for class org.clafer.javascript.JavascriptShell
JavascriptShell.Messagable - Interface in org.clafer.javascript
JavascriptShell.Options - Class in org.clafer.javascript
JavascriptShell.Options() - Constructor for class org.clafer.javascript.JavascriptShell.Options
join(AstSetExpr, AstConcreteClafer) - Static method in class org.clafer.ast.Asts
joinFunction(SetVar, IntVar, IntVar[], SetVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing take.refs = to where refs is a function.
joinFunction(SetVar, IntVar, IntVar[], SetVar, IntVar, Integer) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing take.refs = to where refs is a function and for all k in take, |{i | refs[i] = k}| ≤ globalCardinality.
joinFunction(IrSetExpr, IrIntExpr[], Integer) - Static method in class org.clafer.ir.Irs
joinInjectiveRelation(SetVar, IntVar, SetVar[], IntVar[], SetVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing take.children = to where children is an injective relation.
joinParent(AstSetExpr) - Static method in class org.clafer.ast.Asts
joinRef(AstSetExpr) - Static method in class org.clafer.ast.Asts
joinRelation(SetVar, SetVar[], SetVar) - Static method in class org.clafer.choco.constraint.Constraints: Deprecated.
joinRelation(IrSetExpr, IrSetExpr[], boolean) - Static method in class org.clafer.ir.Irs: Relational join.
Just<T> - Class in org.clafer.collection
just(T) - Static method in class org.clafer.collection.Maybe

K

kersContain(SetVar[], int) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Checks if at least one of the set's kernel contains a value.
kerSubsetKer(SetVar, SetVar, ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Adds every element in a set's kernel to the other set's kernel.
KeyGraph<V> - Class in org.clafer.graph: A graph where every data is mapped to exactly one node.
KeyGraph() - Constructor for class org.clafer.graph.KeyGraph

L

left(A) - Static method in class org.clafer.collection.Either
Left<A,B> - Class in org.clafer.collection
lessThan(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
lessThan(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
lessThan(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
lessThan(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.Irs
lessThanEqual(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
lessThanEqual(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
lessThanEqual(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
lessThanEqual(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.Irs
lexChainChannel(IntVar[][], IntVar[]) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing strings[i] ≤ strings[j] <=> ints[i] ≤ ints[j] and strings[i] = strings[j] <=> ints[i] = ints[j].
load() - Method in class org.clafer.javascript.JavascriptShell: Reload the previous successful file.
load(String) - Method in class org.clafer.javascript.JavascriptShell: Load a new file.
load(File) - Method in class org.clafer.javascript.JavascriptShell: Load a new file.
local(String) - Static method in class org.clafer.ast.Asts
lone(AstClafer) - Static method in class org.clafer.ast.Asts
lone(AstSetExpr) - Static method in class org.clafer.ast.Asts
lone(AstDecl[], AstBoolExpr) - Static method in class org.clafer.ast.Asts
lone(AstDecl, AstBoolExpr) - Static method in class org.clafer.ast.Asts
lone(BoolVar...) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {@code operands[0] + operands[1] + ...
lone(Collection<? extends IrBoolExpr>) - Static method in class org.clafer.ir.Irs
lone(IrBoolExpr...) - Static method in class org.clafer.ir.Irs

M

Main - Class in org.clafer.choco.constraint.propagator
Main() - Constructor for class org.clafer.choco.constraint.propagator.Main
main(String[]) - Static method in class org.clafer.choco.constraint.propagator.Main
main(String[]) - Static method in class org.clafer.javascript.JavascriptShell
makeOpposite() - Method in class org.clafer.choco.constraint.ReifyEqualXC
makeOpposite() - Method in class org.clafer.choco.constraint.ReifyEqualXY
makeOpposite() - Method in class org.clafer.choco.constraint.SetEquality
Mandatory - Static variable in class org.clafer.ast.Asts
Many - Static variable in class org.clafer.ast.Asts
mapFst(List<Pair<A, B>>) - Static method in class org.clafer.collection.Pair: Returns the first element of the tuples in the same order.
mapFst(Pair<A, B>[], A...) - Static method in class org.clafer.collection.Pair: Returns the first element of the tuples in the same order.
mapFst(List<Triple<A, B, C>>) - Static method in class org.clafer.collection.Triple: Returns the first element of the tuples in the same order.
mapFst(Triple<A, B, C>[], A...) - Static method in class org.clafer.collection.Triple: Returns the first element of the tuples in the same order.
mapSnd(List<Pair<A, B>>) - Static method in class org.clafer.collection.Pair: Returns the second element of the tuples in the same order.
mapSnd(Pair<A, B>[], B...) - Static method in class org.clafer.collection.Pair: Returns the second element of the tuples in the same order.
mapSnd(List<Triple<A, B, C>>) - Static method in class org.clafer.collection.Triple: Returns the second element of the tuples in the same order.
mapSnd(Triple<A, B, C>[], B...) - Static method in class org.clafer.collection.Triple: Returns the second element of the tuples in the same order.
mapThd(List<Triple<A, B, C>>) - Static method in class org.clafer.collection.Triple: Returns the third element of the tuples in the same order.
mapThd(Triple<A, B, C>[], C...) - Static method in class org.clafer.collection.Triple: Returns the third element of the tuples in the same order.
mask(SetVar, IntVar, SetVar, IntVar, int, int) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {i + from | i ∈ member} = set ∩ {from, from + 1, ..., to - 1}.
mask(IrSetExpr, int, int) - Static method in class org.clafer.ir.Irs
mask(IrDomain, int, int) - Static method in class org.clafer.ir.IrUtil
max(int...) - Static method in class org.clafer.common.Util
max(TIntIterator) - Static method in class org.clafer.common.Util
maximize(AstClafer) - Method in class org.clafer.javascript.JavascriptShell: Find an instance where the Clafer's value is maximal.
maximize(AstSetExpr) - Static method in class org.clafer.objective.Objective: Create a new maximization objective.
Maybe<T> - Class in org.clafer.collection: A option type.
Maybe() - Constructor for class org.clafer.collection.Maybe
member(IrIntExpr, IrSetExpr) - Static method in class org.clafer.ir.Irs
membership(AstSetExpr, AstMembership.Op, AstSetExpr) - Static method in class org.clafer.ast.Asts
min(int...) - Static method in class org.clafer.common.Util
min(TIntIterator) - Static method in class org.clafer.common.Util
minimize(AstClafer) - Method in class org.clafer.javascript.JavascriptShell: Find an instance where the Clafer's value is minimal.
minimize(AstSetExpr) - Static method in class org.clafer.objective.Objective: Create a new minimization objective.
minUnsat() - Method in class org.clafer.compiler.ClaferUnsat: Compute the minimal set of constraints that need to be removed before the model is satisfiable.
minUnsat() - Method in class org.clafer.javascript.JavascriptShell: Find the Min-Unsat and near-miss example.
minus(AstSetExpr) - Static method in class org.clafer.ast.Asts
minus(IrIntExpr) - Static method in class org.clafer.ir.Irs
minus(IrDomain) - Static method in class org.clafer.ir.IrUtil
monitorDeltas(IntVar[], ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Monitor the deltas for all the variables.
monitorDeltas(SetVar[], ICause) - Static method in class org.clafer.choco.constraint.propagator.PropUtil: Monitor the deltas for all the variables.
mul(AstSetExpr...) - Static method in class org.clafer.ast.Asts
mul(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
mul(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
mul(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.Irs
mult(Card) - Method in class org.clafer.ast.Card: Multiply two cardinalities together.
MutableBoolean - Class in org.clafer.collection
MutableBoolean() - Constructor for class org.clafer.collection.MutableBoolean

N

negate() - Method in class org.clafer.ir.IrAcyclic
negate() - Method in class org.clafer.ir.IrAllDifferent
negate() - Method in class org.clafer.ir.IrAnd
negate() - Method in class org.clafer.ir.IrBoolChannel
negate() - Method in interface org.clafer.ir.IrBoolExpr: The negated expression is true if and only if this expression is false.
negate() - Method in class org.clafer.ir.IrBoolVar
negate() - Method in class org.clafer.ir.IrCompare
negate() - Method in class org.clafer.ir.IrFilterString
negate() - Method in class org.clafer.ir.IrIfOnlyIf
negate() - Method in class org.clafer.ir.IrIfThenElse
negate() - Method in class org.clafer.ir.IrImplies
negate() - Method in class org.clafer.ir.IrIntChannel
negate() - Method in class org.clafer.ir.IrLone
negate() - Method in class org.clafer.ir.IrMember
negate() - Method in class org.clafer.ir.IrNot
negate() - Method in class org.clafer.ir.IrNotImplies
negate() - Method in class org.clafer.ir.IrNotMember
negate() - Method in class org.clafer.ir.IrNotWithin
negate() - Method in class org.clafer.ir.IrOne
negate() - Method in class org.clafer.ir.IrOr
negate() - Method in class org.clafer.ir.IrSelectN
negate() - Method in class org.clafer.ir.IrSetTest
negate() - Method in enum org.clafer.ir.IrSetTest.Op
negate() - Method in class org.clafer.ir.IrSortSets
negate() - Method in class org.clafer.ir.IrSortStrings
negate() - Method in class org.clafer.ir.IrSortStringsChannel
negate() - Method in class org.clafer.ir.IrSubsetEq
negate() - Method in class org.clafer.ir.IrUnreachable
negate() - Method in class org.clafer.ir.IrWithin
negate() - Method in class org.clafer.ir.IrXor
newEngine() - Static method in class org.clafer.javascript.Javascript
newId() - Method in class org.clafer.ast.AstIdFactory: Create a new unique identifier.
newModel() - Static method in class org.clafer.ast.Asts
next() - Method in class org.clafer.collection.ArrayIntIterator
next() - Method in class org.clafer.collection.BoundIntIterator
next() - Method in class org.clafer.collection.Counter
next() - Method in class org.clafer.collection.EmptyIntIterator
next() - Method in class org.clafer.collection.ReverseArrayIntIterator
next() - Method in class org.clafer.collection.ReverseBoundIntIterator
next() - Method in class org.clafer.collection.SingleIntIterator
none(AstClafer) - Static method in class org.clafer.ast.Asts
none(AstSetExpr) - Static method in class org.clafer.ast.Asts
none(AstDecl[], AstBoolExpr) - Static method in class org.clafer.ast.Asts
none(AstDecl, AstBoolExpr) - Static method in class org.clafer.ast.Asts
noNulls(T...) - Static method in class org.clafer.common.Check
noNulls(T) - Static method in class org.clafer.common.Check
noNullsNotEmpty(T...) - Static method in class org.clafer.common.Check
noNullsNotEmpty(T) - Static method in class org.clafer.common.Check
not(AstBoolExpr) - Static method in class org.clafer.ast.Asts
not(IrBoolExpr) - Static method in class org.clafer.ir.Irs
notEqual(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
notEqual(SetVar, IntVar, SetVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing set1 ≠ set2.
notEqual(SetVar, int[]) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing set ≠ {constant}.
notEqual(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
notEqual(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
notEqual(IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.Irs
notEqual(IrSetExpr, IrSetExpr) - Static method in class org.clafer.ir.Irs
nothing() - Static method in class org.clafer.collection.Maybe
Nothing<T> - Class in org.clafer.collection
notImplies(IrBoolExpr, IrBoolExpr) - Static method in class org.clafer.ir.Irs
notIn(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
notMember(IntVar, SetVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing element ∉ set.
notMember(IrIntExpr, IrSetExpr) - Static method in class org.clafer.ir.Irs
notNull(String, T) - Static method in class org.clafer.common.Check: Check that the item is non-null.
notNull(T) - Static method in class org.clafer.common.Check: Check that the item is non-null.
notWithin(IrIntExpr, IrDomain) - Static method in class org.clafer.ir.Irs

O

Objective - Class in org.clafer.objective: One objective.
offset(IrSetExpr, int) - Static method in class org.clafer.ir.Irs
offset(IrDomain, int) - Static method in class org.clafer.ir.IrUtil
Offsets - Class in org.clafer.ast.analysis
one(AstClafer) - Static method in class org.clafer.ast.Asts
one(AstSetExpr) - Static method in class org.clafer.ast.Asts
one(AstDecl[], AstBoolExpr) - Static method in class org.clafer.ast.Asts
one(AstDecl, AstBoolExpr) - Static method in class org.clafer.ast.Asts
one(BoolVar...) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {@code operands[0] + operands[1] + ...
One - Static variable in class org.clafer.ir.Irs
one(Collection<? extends IrBoolExpr>) - Static method in class org.clafer.ir.Irs
one(IrBoolExpr...) - Static method in class org.clafer.ir.Irs
OneDomain - Static variable in class org.clafer.ir.Irs
optimize(IrModule) - Static method in class org.clafer.ir.analysis.Optimizer: Optimize the module.
Optimized - Static variable in class org.clafer.compiler.ClaferOptions: Use the default options.
Optimizer - Class in org.clafer.ir.analysis
OptimizerAnalyzer - Class in org.clafer.ast.analysis: Optimizes the expressions inside the constraints.
OptimizerAnalyzer() - Constructor for class org.clafer.ast.analysis.OptimizerAnalyzer
Optional - Static variable in class org.clafer.ast.Asts
or(AstBoolExpr...) - Static method in class org.clafer.ast.Asts
or(BoolVar...) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {@code operands[0] ∨ operands[1] ∨ ...
or(Constraint...) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {@code constraints[0] ∨ constraints[1] ∨ ...
or(Collection<? extends IrBoolExpr>) - Static method in class org.clafer.ir.Irs
or(IrBoolExpr...) - Static method in class org.clafer.ir.Irs
OrConstraint - Class in org.clafer.choco.constraint: Boolean or.
OrConstraint(Constraint...) - Constructor for class org.clafer.choco.constraint.OrConstraint
org.clafer.ast - package org.clafer.ast: This package provides the language for building Clafer AST.
org.clafer.ast.analysis - package org.clafer.ast.analysis: This package provides various analysis and optimizations to perform on the AST.
org.clafer.ast.compiler - package org.clafer.ast.compiler: This package provides a compiler to translate Clafer AST to IR.
org.clafer.choco.constraint - package org.clafer.choco.constraint: This package provides Clafer specific Choco constraints required for efficient solving.
org.clafer.choco.constraint.propagator - package org.clafer.choco.constraint.propagator: This package provides Clafer specific Choco propagators required for efficient solving.
org.clafer.collection - package org.clafer.collection: This package provides various data structures common throughout the project.
org.clafer.common - package org.clafer.common: This package provides various utility functions common throughout the project.
org.clafer.compiler - package org.clafer.compiler: This package provides a compiler from AST to Choco including algorithms for solving optimal instances and max unsat.
org.clafer.graph - package org.clafer.graph: This package provides data structure and algorithms for directed graphs.
org.clafer.instance - package org.clafer.instance: This package provides structure for working with instances.
org.clafer.ir - package org.clafer.ir: This package provides the IR used as in intermediate language during compilation.
org.clafer.ir.analysis - package org.clafer.ir.analysis: This package provides various analysis and optimizations to perform on the IR.
org.clafer.ir.compiler - package org.clafer.ir.compiler: This package provides a compiler to translate IR to Choco.
org.clafer.javascript - package org.clafer.javascript: This package provides classes for building Clafer models and invoking the solver via Javascript.
org.clafer.objective - package org.clafer.objective
org.clafer.scope - package org.clafer.scope: This package provides classes for building and retrieving the scope.

P

Pair<A,B> - Class in org.clafer.collection: A 2-tuple.
Pair(A, B) - Constructor for class org.clafer.collection.Pair: Construct a tuple.
Pair(Pair<? extends A, ? extends B>) - Constructor for class org.clafer.collection.Pair
parentSolutionKnown() - Method in class org.clafer.ast.analysis.PartialSolution
PartialIntAnalyzer - Class in org.clafer.ast.analysis
PartialIntAnalyzer() - Constructor for class org.clafer.ast.analysis.PartialIntAnalyzer
PartialSolution - Class in org.clafer.ast.analysis
PartialSolution(boolean[], int[][]) - Constructor for class org.clafer.ast.analysis.PartialSolution
PartialSolutionAnalyzer - Class in org.clafer.ast.analysis
PartialSolutionAnalyzer() - Constructor for class org.clafer.ast.analysis.PartialSolutionAnalyzer
permutation(int, int) - Static method in class org.clafer.common.Util
permutations(T[], int) - Static method in class org.clafer.common.Util: Returns all permutations of picking a fixed number of distinct elements in the array.
preferLargerInstances() - Method in class org.clafer.compiler.ClaferOptions
preferLargerInstances() - Method in class org.clafer.javascript.JavascriptShell.Options
preferSmallerInstances() - Method in class org.clafer.compiler.ClaferOptions
preferSmallerInstances() - Method in class org.clafer.javascript.JavascriptShell.Options
print() - Method in class org.clafer.instance.InstanceClafer: Print solution to stdout.
print(Appendable) - Method in class org.clafer.instance.InstanceClafer: Print solution.
print() - Method in class org.clafer.instance.InstanceModel: Print solution to stdout.
print(Appendable) - Method in class org.clafer.instance.InstanceModel: Print solution.
PropAcyclic - Class in org.clafer.choco.constraint.propagator: Enforce no cycles.
PropAcyclic(IntVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropAcyclic: Enforce no cycles.
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropAcyclic
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropAcyclic
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropAnd
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropAnd
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropArrayToSet
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropArrayToSet
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropArrayToSetCard
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropArrayToSetCard
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropFilterString
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropFilterString
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropIfThenElse
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropIfThenElse
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropIntChannel
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropIntChannel
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropIntNotMemberSet
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropIntNotMemberSet
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropJoinFunction
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropJoinFunction
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropJoinFunctionCard
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropJoinFunctionCard
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropJoinInjectiveRelationCard
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropJoinInjectiveRelationCard
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropJoinRelation
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropJoinRelation
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropLexChainChannel
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropLexChainChannel
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropLone
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropLone
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropMask
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropMask
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropOne
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropOne
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropOr
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropOr
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXC
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXC
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXY
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXY
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSelectN
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSelectN
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSetDifference
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSetDifference
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSetEqual
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSetEqual
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqual
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqual
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqualC
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqualC
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSetSum
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSetSum
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSetUnion
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSetUnion
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSetUnionCard
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSetUnionCard
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSingleton
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSingleton
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSortedSets
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSortedSets
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropSortedSetsCard
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropSortedSetsCard
propagate(int) - Method in class org.clafer.choco.constraint.propagator.PropUnreachable
propagate(int, int) - Method in class org.clafer.choco.constraint.propagator.PropUnreachable
PropAnd - Class in org.clafer.choco.constraint.propagator
PropAnd(BoolVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropAnd
PropArrayToSet - Class in org.clafer.choco.constraint.propagator
PropArrayToSet(IntVar[], SetVar) - Constructor for class org.clafer.choco.constraint.propagator.PropArrayToSet
PropArrayToSetCard - Class in org.clafer.choco.constraint.propagator
PropArrayToSetCard(IntVar[], IntVar, Integer) - Constructor for class org.clafer.choco.constraint.propagator.PropArrayToSetCard
PropFilterString - Class in org.clafer.choco.constraint.propagator: result = [string !! i | i <- set].
PropFilterString(SetVar, IntVar, int, IntVar[], IntVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropFilterString
PropIfThenElse - Class in org.clafer.choco.constraint.propagator
PropIfThenElse(BoolVar, BoolVar, BoolVar) - Constructor for class org.clafer.choco.constraint.propagator.PropIfThenElse
PropIntChannel - Class in org.clafer.choco.constraint.propagator: An idempotent and more efficient propagator than the default one.
PropIntChannel(SetVar[], IntVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropIntChannel
PropIntNotMemberSet - Class in org.clafer.choco.constraint.propagator: Missing from the library.
PropIntNotMemberSet(IntVar, SetVar) - Constructor for class org.clafer.choco.constraint.propagator.PropIntNotMemberSet
PropJoinFunction - Class in org.clafer.choco.constraint.propagator: Join a unary set relation with a binary function.
PropJoinFunction(SetVar, IntVar[], SetVar) - Constructor for class org.clafer.choco.constraint.propagator.PropJoinFunction
PropJoinFunctionCard - Class in org.clafer.choco.constraint.propagator
PropJoinFunctionCard(SetVar, IntVar, IntVar[], IntVar, Integer) - Constructor for class org.clafer.choco.constraint.propagator.PropJoinFunctionCard
PropJoinInjectiveRelationCard - Class in org.clafer.choco.constraint.propagator
PropJoinInjectiveRelationCard(SetVar, IntVar, IntVar[], IntVar) - Constructor for class org.clafer.choco.constraint.propagator.PropJoinInjectiveRelationCard
PropJoinRelation - Class in org.clafer.choco.constraint.propagator: Join a unary relation with a binary relation.
PropJoinRelation(SetVar, SetVar[], SetVar) - Constructor for class org.clafer.choco.constraint.propagator.PropJoinRelation
PropLexChainChannel - Class in org.clafer.choco.constraint.propagator: strings[i] < strings[j] iff ints[i] <= ints[j] strings[i] = strings[j] iff ints[i] = ints[j] 0 < ints[i] < |{ints}|
PropLexChainChannel(IntVar[][], IntVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropLexChainChannel
PropLone - Class in org.clafer.choco.constraint.propagator
PropLone(BoolVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropLone
PropMask - Class in org.clafer.choco.constraint.propagator
PropMask(SetVar, SetVar, int, int) - Constructor for class org.clafer.choco.constraint.propagator.PropMask
PropOne - Class in org.clafer.choco.constraint.propagator
PropOne(BoolVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropOne
PropOr - Class in org.clafer.choco.constraint.propagator
PropOr(BoolVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropOr
PropReifyEqualXC - Class in org.clafer.choco.constraint.propagator: (reify = reifyC) <=> (x = c)
PropReifyEqualXC(BoolVar, boolean, IntVar, int) - Constructor for class org.clafer.choco.constraint.propagator.PropReifyEqualXC
PropReifyEqualXY - Class in org.clafer.choco.constraint.propagator: (reify = reifyC) <=> (x = y)
PropReifyEqualXY(BoolVar, boolean, IntVar, IntVar) - Constructor for class org.clafer.choco.constraint.propagator.PropReifyEqualXY
PropSelectN - Class in org.clafer.choco.constraint.propagator: The first n booleans are the true, the rest are false.
PropSelectN(BoolVar[], IntVar) - Constructor for class org.clafer.choco.constraint.propagator.PropSelectN
PropSetDifference - Class in org.clafer.choco.constraint.propagator
PropSetDifference(SetVar, SetVar, SetVar) - Constructor for class org.clafer.choco.constraint.propagator.PropSetDifference
PropSetEqual - Class in org.clafer.choco.constraint.propagator: More efficient than the provided PropAllEqual.
PropSetEqual(SetVar, SetVar) - Constructor for class org.clafer.choco.constraint.propagator.PropSetEqual
PropSetNotEqual - Class in org.clafer.choco.constraint.propagator: More efficient than the provided PropAllDiff.
PropSetNotEqual(SetVar, SetVar) - Constructor for class org.clafer.choco.constraint.propagator.PropSetNotEqual
PropSetNotEqualC - Class in org.clafer.choco.constraint.propagator
PropSetNotEqualC(SetVar, int[]) - Constructor for class org.clafer.choco.constraint.propagator.PropSetNotEqualC
PropSetSum - Class in org.clafer.choco.constraint.propagator: Sums a set and |set| &le n.
PropSetSum(SetVar, IntVar, IntVar) - Constructor for class org.clafer.choco.constraint.propagator.PropSetSum
PropSetUnion - Class in org.clafer.choco.constraint.propagator: Idempotent version of the one provided by the Choco library.
PropSetUnion(SetVar[], SetVar) - Constructor for class org.clafer.choco.constraint.propagator.PropSetUnion
PropSetUnionCard - Class in org.clafer.choco.constraint.propagator
PropSetUnionCard(IntVar[], IntVar) - Constructor for class org.clafer.choco.constraint.propagator.PropSetUnionCard
PropSingleton - Class in org.clafer.choco.constraint.propagator
PropSingleton(IntVar, SetVar) - Constructor for class org.clafer.choco.constraint.propagator.PropSingleton
PropSortedSets - Class in org.clafer.choco.constraint.propagator
PropSortedSets(SetVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropSortedSets
PropSortedSetsCard - Class in org.clafer.choco.constraint.propagator
PropSortedSetsCard(SetVar[], IntVar[]) - Constructor for class org.clafer.choco.constraint.propagator.PropSortedSetsCard
PropUnreachable - Class in org.clafer.choco.constraint.propagator: Enforces no path from one node to another.
PropUnreachable(IntVar[], int, int) - Constructor for class org.clafer.choco.constraint.propagator.PropUnreachable: Enforce no path from one node to another.
PropUtil - Class in org.clafer.choco.constraint.propagator: Various static utility functions for writing Choco propagators.

Q

quantify(AstQuantify.Quantifier, AstDecl[], AstBoolExpr) - Static method in class org.clafer.ast.Asts
quantify(AstQuantify.Quantifier, AstDecl, AstBoolExpr) - Static method in class org.clafer.ast.Asts

R

range(int, int) - Static method in class org.clafer.common.Util
readModel(String) - Static method in class org.clafer.javascript.Javascript
readModel(File) - Static method in class org.clafer.javascript.Javascript
readModel(Reader) - Static method in class org.clafer.javascript.Javascript
readModel(File, Scriptable) - Static method in class org.clafer.javascript.Javascript
readModel(String, String, Scriptable) - Static method in class org.clafer.javascript.Javascript
readModel(String, File, Scriptable) - Static method in class org.clafer.javascript.Javascript
readModel(String, Reader, Scriptable) - Static method in class org.clafer.javascript.Javascript
refTo(AstClafer) - Method in class org.clafer.ast.AstAbstractClafer: Set this Clafer's reference to target type.
refTo(AstClafer) - Method in class org.clafer.ast.AstClafer: Set this Clafer's reference to target type.
refTo(AstClafer) - Method in class org.clafer.ast.AstConcreteClafer: Set this Clafer's reference to target type.
refTo(AstClafer) - Method in class org.clafer.ast.AstModel
refTo(AstClafer) - Method in class org.clafer.ast.AstPrimClafer: Set this Clafer's reference to target type.
refToUnique(AstClafer) - Method in class org.clafer.ast.AstAbstractClafer: Set this Clafer's reference to target type along with a uniqueness constraint.
refToUnique(AstClafer) - Method in class org.clafer.ast.AstClafer: Set this Clafer's reference to target type along with a uniqueness constraint.
refToUnique(AstClafer) - Method in class org.clafer.ast.AstConcreteClafer: Set this Clafer's reference to target type along with a uniqueness constraint.
refToUnique(AstClafer) - Method in class org.clafer.ast.AstModel
refToUnique(AstClafer) - Method in class org.clafer.ast.AstPrimClafer: Set this Clafer's reference to target type along with a uniqueness constraint.
reifyEqual(BoolVar, IntVar, int) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing reify <=> (variable = constant).
reifyEqual(BoolVar, IntVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing reify <=> (v1 = v2).
ReifyEqualXC - Class in org.clafer.choco.constraint
ReifyEqualXC(BoolVar, boolean, IntVar, int) - Constructor for class org.clafer.choco.constraint.ReifyEqualXC
ReifyEqualXY - Class in org.clafer.choco.constraint
ReifyEqualXY(BoolVar, boolean, IntVar, IntVar) - Constructor for class org.clafer.choco.constraint.ReifyEqualXY
reifyNotEqual(BoolVar, IntVar, int) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing reify <=> (variable ≠ constant).
reifyNotEqual(BoolVar, IntVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing reify <=> (v1 ≠ v2).
remove() - Method in class org.clafer.collection.ArrayIntIterator: Not supported.
remove() - Method in class org.clafer.collection.BoundIntIterator: Not supported.
remove() - Method in class org.clafer.collection.EmptyIntIterator: Not supported.
remove(int) - Method in class org.clafer.collection.FixedCapacityIntSet
remove() - Method in class org.clafer.collection.ReverseArrayIntIterator: Not supported.
remove() - Method in class org.clafer.collection.ReverseBoundIntIterator: Not supported.
remove() - Method in class org.clafer.collection.SingleIntIterator: Not supported.
remove(IrDomain, int) - Static method in class org.clafer.ir.IrUtil
removeAll(Collection<?>) - Method in class org.clafer.collection.FixedCapacityIntSet
removeAll(TIntCollection) - Method in class org.clafer.collection.FixedCapacityIntSet
removeAll(int[]) - Method in class org.clafer.collection.FixedCapacityIntSet
removeDuplicates(IrModule) - Static method in class org.clafer.ir.analysis.DuplicateConstraints: Reduce.
replicate(T, int) - Static method in class org.clafer.common.Util: Repeat the item.
retainAll(Collection<?>) - Method in class org.clafer.collection.FixedCapacityIntSet
retainAll(TIntCollection) - Method in class org.clafer.collection.FixedCapacityIntSet
retainAll(int[]) - Method in class org.clafer.collection.FixedCapacityIntSet
reverse(int[], int) - Static method in class org.clafer.common.Util: Reverse part of an array in place.
reverse(int[]) - Static method in class org.clafer.common.Util: Reverse an array in place.
reverse(T[], int) - Static method in class org.clafer.common.Util: Reverse part of an array in place.
reverse(T[]) - Static method in class org.clafer.common.Util: Reverse an array in place.
ReverseArrayIntIterator - Class in org.clafer.collection: In iterator for an array of integers in order of decreasing index.
ReverseArrayIntIterator(int[]) - Constructor for class org.clafer.collection.ReverseArrayIntIterator: Iterate an array in reverse order from the last to first element of the array.
ReverseArrayIntIterator(int[], int, int) - Constructor for class org.clafer.collection.ReverseArrayIntIterator: Iterate an array in reverse order starting in position to (exclusive) and ending in position from (inclusive).
ReverseBoundIntIterator - Class in org.clafer.collection: An iterator over an interval in decreasing order.
ReverseBoundIntIterator(int, int) - Constructor for class org.clafer.collection.ReverseBoundIntIterator: Iterate in decreasing order starting from high (inclusive) and ending in low (inclusive).
rewrite(AstBoolExpr, T) - Method in class org.clafer.ast.AstExprRewriter
rewrite(AstBoolExpr[], T) - Method in class org.clafer.ast.AstExprRewriter
rewrite(AstSetExpr, T) - Method in class org.clafer.ast.AstExprRewriter
rewrite(AstSetExpr[], T) - Method in class org.clafer.ast.AstExprRewriter
rewrite(IrModule, T) - Method in class org.clafer.ir.IrRewriter
rewrite(IrBoolExpr, T) - Method in class org.clafer.ir.IrRewriter
rewrite(IrBoolExpr[], T) - Method in class org.clafer.ir.IrRewriter
rewrite(IrIntExpr, T) - Method in class org.clafer.ir.IrRewriter
rewrite(IrIntExpr[], T) - Method in class org.clafer.ir.IrRewriter
rewrite(IrIntExpr[][], T) - Method in class org.clafer.ir.IrRewriter
rewrite(IrSetExpr, T) - Method in class org.clafer.ir.IrRewriter
rewrite(IrSetExpr[], T) - Method in class org.clafer.ir.IrRewriter
rewrite(IrSetExpr[][], T) - Method in class org.clafer.ir.IrRewriter
right(B) - Static method in class org.clafer.collection.Either
Right<A,B> - Class in org.clafer.collection

S

Scopable - Interface in org.clafer.scope
Scope - Class in org.clafer.scope: An immutable mapping from Clafers to their scope.
Scope(Map<AstClafer, Integer>, int, int, int) - Constructor for class org.clafer.scope.Scope: Construct a new scope.
ScopeAnalyzer - Class in org.clafer.ast.analysis
ScopeAnalyzer() - Constructor for class org.clafer.ast.analysis.ScopeAnalyzer
ScopeBuilder - Class in org.clafer.scope: Builder pattern for scopes.
selectN(BoolVar[], IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing that bools[i] <=> i < n.
selectN(IrBoolExpr[], IrIntExpr) - Static method in class org.clafer.ir.Irs
sequence(T[], int) - Static method in class org.clafer.common.Util: Returns all possibilities of picking a fixed number of elements in the array.
sequence(T[][]) - Static method in class org.clafer.common.Util: Returns all possibilities of picking one element in each array.
set() - Method in class org.clafer.collection.MutableBoolean
set(String, int, int) - Static method in class org.clafer.ir.Irs: Set
set(String, int, int, int, int) - Static method in class org.clafer.ir.Irs
set(String, int, int, int[]) - Static method in class org.clafer.ir.Irs
set(String, int[]) - Static method in class org.clafer.ir.Irs
set(String, int[], int, int) - Static method in class org.clafer.ir.Irs
set(String, int[], int[]) - Static method in class org.clafer.ir.Irs
set(String, IrDomain) - Static method in class org.clafer.ir.Irs
set(String, IrDomain, IrDomain) - Static method in class org.clafer.ir.Irs
set(String, IrDomain, IrDomain, IrDomain) - Static method in class org.clafer.ir.Irs
setBreakableChildrenMap(Map<AstClafer, AstConcreteClafer[]>) - Method in class org.clafer.ast.analysis.Analysis
setBreakableRefsMap(Map<AstRef, int[]>) - Method in class org.clafer.ast.analysis.Analysis
setBreakableTargetsMap(Map<AstClafer, AstRef[]>) - Method in class org.clafer.ast.analysis.Analysis
setCardMap(Map<AstConcreteClafer, Card>) - Method in class org.clafer.ast.analysis.Analysis
setConstraintExprs(Map<AstConstraint, AstBoolExpr>) - Method in class org.clafer.ast.analysis.Analysis
setConstraints(List<AstConstraint>) - Method in class org.clafer.ast.analysis.Analysis
setDefaultScope(int) - Method in class org.clafer.javascript.JavascriptContext
SetEquality - Class in org.clafer.choco.constraint
SetEquality(SetVar, IntVar, boolean, SetVar, IntVar) - Constructor for class org.clafer.choco.constraint.SetEquality
setFormatMap(Map<AstClafer, Format>) - Method in class org.clafer.ast.analysis.Analysis
setGlobalCardMap(Map<AstClafer, Card>) - Method in class org.clafer.ast.analysis.Analysis
setHardConstraints(Set<AstConstraint>) - Method in class org.clafer.ast.analysis.Analysis
setIntRange(int, int) - Method in class org.clafer.javascript.JavascriptContext
setObjectiveExprs(Map<Objective, AstSetExpr>) - Method in class org.clafer.ast.analysis.Analysis
setOffsetMap(Map<AstAbstractClafer, Offsets>) - Method in class org.clafer.ast.analysis.Analysis
setPartialIntsMap(Map<AstRef, IrDomain[]>) - Method in class org.clafer.ast.analysis.Analysis
setPartialSolutionMap(Map<AstClafer, PartialSolution>) - Method in class org.clafer.ast.analysis.Analysis
setScope(Scope) - Method in class org.clafer.ast.analysis.Analysis
setScope(Map<String, Number>) - Method in class org.clafer.javascript.JavascriptContext
setScope(AstClafer, int) - Static method in class org.clafer.scope.Scope: Equivalent to builder().setScope(clafer, scope).
setScope(AstClafer, int) - Method in class org.clafer.scope.ScopeBuilder: Set the scope of the Clafer.
setSum(SetVar, IntVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing Σ set= sum.
setTypeMap(Map<AstExpr, Type>) - Method in class org.clafer.ast.analysis.Analysis
setValue(boolean) - Method in class org.clafer.collection.MutableBoolean
shuffle(T[], Random) - Static method in class org.clafer.common.Util: Randomly shuffle an array in place.
single(E) - Static method in class org.clafer.collection.FList: A list containing a single element.
SingleIntIterator - Class in org.clafer.collection: Iterate over a single value.
SingleIntIterator(int) - Constructor for class org.clafer.collection.SingleIntIterator: Iterate over a single value.
Singleton - Static variable in class org.clafer.ast.AstBoolClafer
Singleton - Static variable in class org.clafer.ast.AstIntClafer
singleton(IntVar, SetVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {ivar} = svar.
singleton(IntVar, SetVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {ivar} = svar and svarCard = 1.
singleton(IrIntExpr) - Static method in class org.clafer.ir.Irs
size() - Method in class org.clafer.ast.analysis.PartialSolution
size() - Method in class org.clafer.collection.FixedCapacityIntSet
size() - Method in enum org.clafer.ir.IrBoolDomain
size() - Method in class org.clafer.ir.IrBoundDomain: Returns how many values are contained in this domain.
size() - Method in interface org.clafer.ir.IrDomain: Returns how many values are contained in this domain.
size() - Method in class org.clafer.ir.IrEmptyDomain: Returns how many values are contained in this domain.
size() - Method in class org.clafer.ir.IrEnumDomain: Returns how many values are contained in this domain.
snoc(FList<E>, E) - Static method in class org.clafer.collection.FList: Functional-programming snoc.
snoc(List<? extends T>, T) - Static method in class org.clafer.common.Util: Functional-programming snoc.
snoc(T[], T) - Static method in class org.clafer.common.Util: Append the item at the end of the array.
snoc(int[], int) - Static method in class org.clafer.common.Util: Append the item at the end of the array.
solve() - Method in class org.clafer.javascript.JavascriptShell: Find the first instance or next instances upon subsequent invocations.
solver - Variable in class org.clafer.compiler.ClaferOptimizer
some(AstClafer) - Static method in class org.clafer.ast.Asts
some(AstSetExpr) - Static method in class org.clafer.ast.Asts
some(AstDecl[], AstBoolExpr) - Static method in class org.clafer.ast.Asts
some(AstDecl, AstBoolExpr) - Static method in class org.clafer.ast.Asts
sort(IrIntExpr...) - Static method in class org.clafer.ir.Irs
sort(IrSetExpr...) - Static method in class org.clafer.ir.Irs
sort(IrIntExpr[]...) - Static method in class org.clafer.ir.Irs
sortChannel(IrIntExpr[][], IrIntExpr[]) - Static method in class org.clafer.ir.Irs
sortedSets(SetVar[], IntVar[]) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {@code array(sets[0]) ++ array(sets[1]) ++ ...
sortStrict(IrIntExpr...) - Static method in class org.clafer.ir.Irs
sortStrict(IrIntExpr[]...) - Static method in class org.clafer.ir.Irs
startsWith(List<T>, List<T>) - Static method in class org.clafer.common.Util: Checks if the list starts with specific elements.
stats() - Method in class org.clafer.javascript.JavascriptShell
sub(AstSetExpr...) - Static method in class org.clafer.ast.Asts
sub(int, IrIntExpr) - Static method in class org.clafer.ir.Irs
sub(IrIntExpr, int) - Static method in class org.clafer.ir.Irs
sub(Collection<? extends IrIntExpr>) - Static method in class org.clafer.ir.Irs
sub(IrIntExpr...) - Static method in class org.clafer.ir.Irs
subsetEq(SetVar, IntVar, SetVar, IntVar) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing sub ⊆ sup.
subsetEq(IrSetExpr, IrSetExpr) - Static method in class org.clafer.ir.Irs
sum(AstSetExpr) - Static method in class org.clafer.ast.Asts
sum(int...) - Static method in class org.clafer.common.Util
sum(TIntIterator) - Static method in class org.clafer.common.Util
sum(IrSetExpr) - Static method in class org.clafer.ir.Irs
SymmetryAnalyzer - Class in org.clafer.ast.analysis: This analyzer determines where symmetry is and is not possible.
SymmetryAnalyzer() - Constructor for class org.clafer.ast.analysis.SymmetryAnalyzer

T

takeUntil(T, List<T>) - Static method in class org.clafer.common.Util: Returns a sublist from index 0 to the index of the item (inclusive).
ternary(IrBoolExpr, IrIntExpr, IrIntExpr) - Static method in class org.clafer.ir.Irs
ternary(IrBoolExpr, IrSetExpr, IrSetExpr) - Static method in class org.clafer.ir.Irs
test(AstSetExpr, AstSetTest.Op, AstSetExpr) - Static method in class org.clafer.ast.Asts
toArray() - Method in class org.clafer.collection.FixedCapacityIntSet
toArray(int[]) - Method in class org.clafer.collection.FixedCapacityIntSet
toBuilder() - Method in class org.clafer.scope.Scope
toList() - Method in class org.clafer.collection.FList: Converts this functional list to an imperative list.
toMessage() - Method in interface org.clafer.javascript.JavascriptShell.Messagable
toMessage() - Method in class org.clafer.javascript.JavascriptShell.Options
toScope() - Method in interface org.clafer.scope.Scopable: Convert to scope.
toScope() - Method in class org.clafer.scope.Scope: Convert to scope.
toScope() - Method in class org.clafer.scope.ScopeBuilder: Finalizes all the decisions made in the builder.
toString() - Method in class org.clafer.ast.analysis.Offsets
toString() - Method in class org.clafer.ast.analysis.Type
toString() - Method in class org.clafer.ast.AstAbstractClafer
toString() - Method in class org.clafer.ast.AstArithm
toString() - Method in class org.clafer.ast.AstBoolArithm
toString() - Method in class org.clafer.ast.AstCard
toString() - Method in class org.clafer.ast.AstClafer
toString() - Method in class org.clafer.ast.AstCompare
toString() - Method in class org.clafer.ast.AstConstant
toString() - Method in class org.clafer.ast.AstConstraint
toString() - Method in class org.clafer.ast.AstDecl
toString() - Method in class org.clafer.ast.AstDifference
toString() - Method in class org.clafer.ast.AstDowncast
toString() - Method in class org.clafer.ast.AstGlobal
toString() - Method in class org.clafer.ast.AstIfThenElse
toString() - Method in class org.clafer.ast.AstIntersection
toString() - Method in class org.clafer.ast.AstJoin
toString() - Method in class org.clafer.ast.AstJoinParent
toString() - Method in class org.clafer.ast.AstJoinRef
toString() - Method in class org.clafer.ast.AstLocal
toString() - Method in class org.clafer.ast.AstMembership
toString() - Method in class org.clafer.ast.AstMinus
toString() - Method in class org.clafer.ast.AstNot
toString() - Method in class org.clafer.ast.AstQuantify
toString() - Method in class org.clafer.ast.AstRef
toString() - Method in class org.clafer.ast.AstSetTest
toString() - Method in class org.clafer.ast.AstSum
toString() - Method in class org.clafer.ast.AstTernary
toString() - Method in class org.clafer.ast.AstThis
toString() - Method in class org.clafer.ast.AstUnion
toString() - Method in class org.clafer.ast.AstUpcast
toString() - Method in class org.clafer.ast.Card
toString() - Method in class org.clafer.choco.constraint.propagator.PropAcyclic
toString() - Method in class org.clafer.choco.constraint.propagator.PropAnd
toString() - Method in class org.clafer.choco.constraint.propagator.PropArrayToSet
toString() - Method in class org.clafer.choco.constraint.propagator.PropArrayToSetCard
toString() - Method in class org.clafer.choco.constraint.propagator.PropFilterString
toString() - Method in class org.clafer.choco.constraint.propagator.PropIfThenElse
toString() - Method in class org.clafer.choco.constraint.propagator.PropIntChannel
toString() - Method in class org.clafer.choco.constraint.propagator.PropIntNotMemberSet
toString() - Method in class org.clafer.choco.constraint.propagator.PropJoinFunction
toString() - Method in class org.clafer.choco.constraint.propagator.PropJoinFunctionCard
toString() - Method in class org.clafer.choco.constraint.propagator.PropJoinInjectiveRelationCard
toString() - Method in class org.clafer.choco.constraint.propagator.PropJoinRelation
toString() - Method in class org.clafer.choco.constraint.propagator.PropLexChainChannel
toString() - Method in class org.clafer.choco.constraint.propagator.PropLone
toString() - Method in class org.clafer.choco.constraint.propagator.PropMask
toString() - Method in class org.clafer.choco.constraint.propagator.PropOne
toString() - Method in class org.clafer.choco.constraint.propagator.PropOr
toString() - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXC
toString() - Method in class org.clafer.choco.constraint.propagator.PropReifyEqualXY
toString() - Method in class org.clafer.choco.constraint.propagator.PropSelectN
toString() - Method in class org.clafer.choco.constraint.propagator.PropSetDifference
toString() - Method in class org.clafer.choco.constraint.propagator.PropSetEqual
toString() - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqual
toString() - Method in class org.clafer.choco.constraint.propagator.PropSetNotEqualC
toString() - Method in class org.clafer.choco.constraint.propagator.PropSetSum
toString() - Method in class org.clafer.choco.constraint.propagator.PropSetUnion
toString() - Method in class org.clafer.choco.constraint.propagator.PropSetUnionCard
toString() - Method in class org.clafer.choco.constraint.propagator.PropSingleton
toString() - Method in class org.clafer.choco.constraint.propagator.PropSortedSets
toString() - Method in class org.clafer.choco.constraint.propagator.PropSortedSetsCard
toString() - Method in class org.clafer.choco.constraint.propagator.PropUnreachable
toString() - Method in class org.clafer.collection.DisjointSets
toString() - Method in class org.clafer.collection.FixedCapacityIntSet
toString() - Method in class org.clafer.collection.Just
toString() - Method in class org.clafer.collection.Left
toString() - Method in class org.clafer.collection.Nothing
toString() - Method in class org.clafer.collection.Pair
toString() - Method in class org.clafer.collection.Right
toString() - Method in class org.clafer.collection.Triple
toString() - Method in class org.clafer.compiler.ClaferOptions
toString() - Method in class org.clafer.compiler.ClaferSolver
toString() - Method in class org.clafer.graph.KeyGraph
toString() - Method in class org.clafer.graph.Vertex
toString() - Method in class org.clafer.instance.InstanceClafer
toString() - Method in class org.clafer.instance.InstanceModel
toString() - Method in class org.clafer.instance.InstanceRef
toString() - Method in class org.clafer.ir.IrAcyclic
toString() - Method in class org.clafer.ir.IrAdd
toString() - Method in class org.clafer.ir.IrAllDifferent
toString() - Method in class org.clafer.ir.IrAnd
toString() - Method in class org.clafer.ir.IrArrayToSet
toString() - Method in class org.clafer.ir.IrBoolChannel
toString() - Method in class org.clafer.ir.IrBoolConstant
toString() - Method in enum org.clafer.ir.IrBoolDomain
toString() - Method in class org.clafer.ir.IrBoundDomain
toString() - Method in class org.clafer.ir.IrCard
toString() - Method in class org.clafer.ir.IrCompare
toString() - Method in class org.clafer.ir.IrCount
toString() - Method in class org.clafer.ir.IrDiv
toString() - Method in class org.clafer.ir.IrElement
toString() - Method in class org.clafer.ir.IrEmptyDomain
toString() - Method in class org.clafer.ir.IrEnumDomain
toString() - Method in class org.clafer.ir.IrFilterString
toString() - Method in class org.clafer.ir.IrIfOnlyIf
toString() - Method in class org.clafer.ir.IrIfThenElse
toString() - Method in class org.clafer.ir.IrImplies
toString() - Method in class org.clafer.ir.IrIntChannel
toString() - Method in class org.clafer.ir.IrIntConstant
toString() - Method in class org.clafer.ir.IrIntVar
toString() - Method in class org.clafer.ir.IrJoinFunction
toString() - Method in class org.clafer.ir.IrJoinRelation
toString() - Method in class org.clafer.ir.IrLone
toString() - Method in class org.clafer.ir.IrMask
toString() - Method in class org.clafer.ir.IrMember
toString() - Method in class org.clafer.ir.IrMinus
toString() - Method in class org.clafer.ir.IrModule
toString() - Method in class org.clafer.ir.IrMul
toString() - Method in class org.clafer.ir.IrNot
toString() - Method in class org.clafer.ir.IrNotImplies
toString() - Method in class org.clafer.ir.IrNotMember
toString() - Method in class org.clafer.ir.IrNotWithin
toString() - Method in class org.clafer.ir.IrOffset
toString() - Method in class org.clafer.ir.IrOne
toString() - Method in class org.clafer.ir.IrOr
toString() - Method in class org.clafer.ir.IrSelectN
toString() - Method in class org.clafer.ir.IrSetConstant
toString() - Method in class org.clafer.ir.IrSetDifference
toString() - Method in class org.clafer.ir.IrSetIntersection
toString() - Method in class org.clafer.ir.IrSetSum
toString() - Method in class org.clafer.ir.IrSetTernary
toString() - Method in class org.clafer.ir.IrSetTest
toString() - Method in class org.clafer.ir.IrSetUnion
toString() - Method in class org.clafer.ir.IrSetVar
toString() - Method in class org.clafer.ir.IrSingleton
toString() - Method in class org.clafer.ir.IrSortStringsChannel
toString() - Method in class org.clafer.ir.IrSubsetEq
toString() - Method in class org.clafer.ir.IrTernary
toString() - Method in class org.clafer.ir.IrUnreachable
toString() - Method in class org.clafer.ir.IrWithin
toString() - Method in class org.clafer.ir.IrXor
toString() - Method in class org.clafer.objective.Objective
toString() - Method in class org.clafer.scope.Scope
transferTo(TIntCollection) - Method in enum org.clafer.ir.IrBoolDomain
transferTo(TIntCollection) - Method in class org.clafer.ir.IrBoundDomain: Put the contents of this domain inside the collection.
transferTo(TIntCollection) - Method in interface org.clafer.ir.IrDomain: Put the contents of this domain inside the collection.
transferTo(TIntCollection) - Method in class org.clafer.ir.IrEmptyDomain: Put the contents of this domain inside the collection.
transferTo(TIntCollection) - Method in class org.clafer.ir.IrEnumDomain: Put the contents of this domain inside the collection.
Triple<A,B,C> - Class in org.clafer.collection: A 3-tuple.
Triple(A, B, C) - Constructor for class org.clafer.collection.Triple
Triple(Pair<? extends A, ? extends B>, C) - Constructor for class org.clafer.collection.Triple
Triple(A, Pair<? extends B, ? extends C>) - Constructor for class org.clafer.collection.Triple
Triple(Triple<? extends A, ? extends B, ? extends C>) - Constructor for class org.clafer.collection.Triple
True - Static variable in class org.clafer.ir.Irs: Boolean
TrueDomain - Static variable in class org.clafer.ir.Irs: Domain
trues(boolean[]) - Static method in class org.clafer.common.Util: Returns the position of all the true elements in the array.
Type - Class in org.clafer.ast.analysis
Type(Set<AstClafer>, AstClafer) - Constructor for class org.clafer.ast.analysis.Type
Type(Set<AstClafer>) - Constructor for class org.clafer.ast.analysis.Type
TypeAnalyzer - Class in org.clafer.ast.analysis: Type checks and creates explicit upcast nodes in the AST.
TypeAnalyzer() - Constructor for class org.clafer.ast.analysis.TypeAnalyzer
TypeException - Exception in org.clafer.ast.analysis
TypeException(Throwable) - Constructor for exception org.clafer.ast.analysis.TypeException
TypeException(String, Throwable) - Constructor for exception org.clafer.ast.analysis.TypeException
TypeException(String) - Constructor for exception org.clafer.ast.analysis.TypeException
TypeException() - Constructor for exception org.clafer.ast.analysis.TypeException

U

union(AstSetExpr, AstSetExpr) - Static method in class org.clafer.ast.Asts
union(SetVar[], IntVar[], SetVar, IntVar, boolean) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing {@code operands[0] ∪ operands[1] ∪ ...
union(V, V) - Method in class org.clafer.collection.DisjointSets
union(IrSetExpr...) - Static method in class org.clafer.ir.Irs
union(IrSetExpr[], boolean) - Static method in class org.clafer.ir.Irs
union(IrDomain, IrDomain) - Static method in class org.clafer.ir.IrUtil
unionEnvs(IrSetExpr...) - Static method in class org.clafer.ir.IrUtil
unionKers(IrSetExpr...) - Static method in class org.clafer.ir.IrUtil
unreachable(IntVar[], int, int) - Static method in class org.clafer.choco.constraint.Constraints: A constraint enforcing no path from one node to another.
unreachable(IrIntExpr[], int, int) - Static method in class org.clafer.ir.Irs
UnsatAnalyzer - Class in org.clafer.ast.analysis: Sets every constraint to soft.
UnsatAnalyzer() - Constructor for class org.clafer.ast.analysis.UnsatAnalyzer
unsatCore() - Method in class org.clafer.compiler.ClaferUnsat: Compute a small set of constraints that are mutually unsatisfiable.
unsatCore() - Method in class org.clafer.javascript.JavascriptShell: Find the Min-Unsat-Core.
upcast(AstSetExpr, AstAbstractClafer) - Static method in class org.clafer.ast.Asts: Upcast an expression.
Util - Class in org.clafer.common: Various static utility functions.

V

valueOf(String) - Static method in enum org.clafer.ast.analysis.Format: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ast.AstArithm.Op: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ast.AstBoolArithm.Op: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ast.AstCompare.Op: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ast.AstMembership.Op: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ast.AstQuantify.Quantifier: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ast.AstSetTest.Op: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ir.IrBoolDomain: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ir.IrCompare.Op: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ir.IrSetTest.Op: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.clafer.ir.IrUtil.Ordering: Returns the enum constant of this type with the specified name.
values() - Static method in enum org.clafer.ast.analysis.Format: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ast.AstArithm.Op: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ast.AstBoolArithm.Op: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ast.AstCompare.Op: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ast.AstMembership.Op: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ast.AstQuantify.Quantifier: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ast.AstSetTest.Op: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ir.IrBoolDomain: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ir.IrCompare.Op: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ir.IrSetTest.Op: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.clafer.ir.IrUtil.Ordering: Returns an array containing the constants of this enum type, in the order they are declared.
Vertex<V> - Class in org.clafer.graph: A mutable directed vertex.
Vertex(V) - Constructor for class org.clafer.graph.Vertex
visit(AstJoin, Analysis) - Method in class org.clafer.ast.analysis.OptimizerAnalyzer
visit(AstJoinParent, Analysis) - Method in class org.clafer.ast.analysis.OptimizerAnalyzer
visit(AstThis, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstGlobal, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstConstant, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstJoin, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstJoinParent, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstJoinRef, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstNot, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstMinus, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstCard, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstSetTest, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstCompare, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstArithm, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstSum, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstBoolArithm, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstDifference, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstIntersection, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstUnion, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstMembership, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstTernary, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstIfThenElse, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstDowncast, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstUpcast, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstLocal, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstQuantify, T) - Method in class org.clafer.ast.AstExprRewriter
visit(AstThis, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstGlobal, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstConstant, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstJoin, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstJoinParent, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstJoinRef, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstNot, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstMinus, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstCard, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstSetTest, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstCompare, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstArithm, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstSum, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstBoolArithm, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstDifference, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstIntersection, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstUnion, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstMembership, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstTernary, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstIfThenElse, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstDowncast, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstUpcast, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstLocal, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(AstQuantify, A) - Method in interface org.clafer.ast.AstExprVisitor
visit(IrBoolVar, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrNot, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrAnd, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrLone, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrOne, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrOr, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrImplies, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrNotImplies, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrIfThenElse, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrIfOnlyIf, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrXor, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrWithin, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrNotWithin, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrCompare, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrSetTest, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrMember, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrNotMember, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrSubsetEq, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrBoolChannel, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrIntChannel, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrSortStrings, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrSortSets, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrSortStringsChannel, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrAllDifferent, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrSelectN, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrAcyclic, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrUnreachable, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrFilterString, A) - Method in interface org.clafer.ir.IrBoolExprVisitor
visit(IrBoolVar, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrNot, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrAnd, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrLone, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrOne, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrOr, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrImplies, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrNotImplies, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrIfThenElse, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrIfOnlyIf, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrXor, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrWithin, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrNotWithin, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrCompare, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrSetTest, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrMember, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrNotMember, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrSubsetEq, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrBoolChannel, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrIntChannel, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrSortStrings, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrSortSets, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrSortStringsChannel, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrAllDifferent, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrSelectN, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrAcyclic, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrUnreachable, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrFilterString, A) - Method in class org.clafer.ir.IrBoolExprVisitorAdapter
visit(IrIntVar, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrMinus, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrCard, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrAdd, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrMul, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrDiv, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrElement, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrCount, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrSetSum, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrTernary, A) - Method in interface org.clafer.ir.IrIntExprVisitor
visit(IrBoolVar, T) - Method in class org.clafer.ir.IrRewriter
visit(IrNot, T) - Method in class org.clafer.ir.IrRewriter
visit(IrAnd, T) - Method in class org.clafer.ir.IrRewriter
visit(IrLone, T) - Method in class org.clafer.ir.IrRewriter
visit(IrOne, T) - Method in class org.clafer.ir.IrRewriter
visit(IrOr, T) - Method in class org.clafer.ir.IrRewriter
visit(IrImplies, T) - Method in class org.clafer.ir.IrRewriter
visit(IrNotImplies, T) - Method in class org.clafer.ir.IrRewriter
visit(IrIfThenElse, T) - Method in class org.clafer.ir.IrRewriter
visit(IrIfOnlyIf, T) - Method in class org.clafer.ir.IrRewriter
visit(IrXor, T) - Method in class org.clafer.ir.IrRewriter
visit(IrWithin, T) - Method in class org.clafer.ir.IrRewriter
visit(IrNotWithin, T) - Method in class org.clafer.ir.IrRewriter
visit(IrCompare, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSetTest, T) - Method in class org.clafer.ir.IrRewriter
visit(IrMember, T) - Method in class org.clafer.ir.IrRewriter
visit(IrNotMember, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSubsetEq, T) - Method in class org.clafer.ir.IrRewriter
visit(IrBoolChannel, T) - Method in class org.clafer.ir.IrRewriter
visit(IrIntChannel, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSortStrings, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSortSets, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSortStringsChannel, T) - Method in class org.clafer.ir.IrRewriter
visit(IrAllDifferent, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSelectN, T) - Method in class org.clafer.ir.IrRewriter
visit(IrAcyclic, T) - Method in class org.clafer.ir.IrRewriter
visit(IrUnreachable, T) - Method in class org.clafer.ir.IrRewriter
visit(IrFilterString, T) - Method in class org.clafer.ir.IrRewriter
visit(IrIntVar, T) - Method in class org.clafer.ir.IrRewriter
visit(IrMinus, T) - Method in class org.clafer.ir.IrRewriter
visit(IrCard, T) - Method in class org.clafer.ir.IrRewriter
visit(IrAdd, T) - Method in class org.clafer.ir.IrRewriter
visit(IrMul, T) - Method in class org.clafer.ir.IrRewriter
visit(IrDiv, T) - Method in class org.clafer.ir.IrRewriter
visit(IrElement, T) - Method in class org.clafer.ir.IrRewriter
visit(IrCount, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSetSum, T) - Method in class org.clafer.ir.IrRewriter
visit(IrTernary, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSetVar, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSingleton, T) - Method in class org.clafer.ir.IrRewriter
visit(IrArrayToSet, T) - Method in class org.clafer.ir.IrRewriter
visit(IrJoinRelation, T) - Method in class org.clafer.ir.IrRewriter
visit(IrJoinFunction, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSetDifference, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSetIntersection, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSetUnion, T) - Method in class org.clafer.ir.IrRewriter
visit(IrOffset, T) - Method in class org.clafer.ir.IrRewriter
visit(IrMask, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSetTernary, T) - Method in class org.clafer.ir.IrRewriter
visit(IrSetVar, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrSingleton, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrArrayToSet, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrJoinRelation, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrJoinFunction, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrSetDifference, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrSetIntersection, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrSetUnion, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrOffset, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrMask, A) - Method in interface org.clafer.ir.IrSetExprVisitor
visit(IrSetTernary, A) - Method in interface org.clafer.ir.IrSetExprVisitor

W

withBody(AstSetExpr) - Method in class org.clafer.ast.AstDecl
withCard(Card) - Method in class org.clafer.ast.AstConcreteClafer: Set this Clafer's cardinality.
withCard(int) - Method in class org.clafer.ast.AstConcreteClafer: Set this Clafer's low cardinality and set the high cardinality to unbounded.
withCard(int, int) - Method in class org.clafer.ast.AstConcreteClafer: Set this Clafer's cardinality.
withCard(Card) - Method in class org.clafer.ast.AstModel
withGroupCard(Card) - Method in class org.clafer.ast.AstAbstractClafer: Set this Clafer's group cardinality.
withGroupCard(int) - Method in class org.clafer.ast.AstAbstractClafer: Set this Clafer's low group cardinality and set the high group cardinality to unbounded.
withGroupCard(int, int) - Method in class org.clafer.ast.AstAbstractClafer: Set this Clafer's group cardinality.
withGroupCard(Card) - Method in class org.clafer.ast.AstClafer: Set this Clafer's group cardinality.
withGroupCard(int) - Method in class org.clafer.ast.AstClafer: Set this Clafer's low group cardinality and set the high group cardinality to unbounded.
withGroupCard(int, int) - Method in class org.clafer.ast.AstClafer: Set this Clafer's group cardinality.
withGroupCard(Card) - Method in class org.clafer.ast.AstConcreteClafer: Set this Clafer's group cardinality.
withGroupCard(int) - Method in class org.clafer.ast.AstConcreteClafer: Set this Clafer's low group cardinality and set the high group cardinality to unbounded.
withGroupCard(int, int) - Method in class org.clafer.ast.AstConcreteClafer: Set this Clafer's group cardinality.
withGroupCard(Card) - Method in class org.clafer.ast.AstModel
withGroupCard(Card) - Method in class org.clafer.ast.AstPrimClafer: Set this Clafer's group cardinality.
within(IrIntExpr, IrDomain) - Static method in class org.clafer.ir.Irs

X

xor(AstBoolExpr...) - Static method in class org.clafer.ast.Asts
xor(IrBoolExpr, IrBoolExpr) - Static method in class org.clafer.ir.Irs

Z

Zero - Static variable in class org.clafer.ir.Irs: Integer
ZeroDomain - Static variable in class org.clafer.ir.Irs
ZeroOneDomain - Static variable in class org.clafer.ir.Irs

$ A B C D E F G H I J K L M N O P Q R S T U V W X Z