Hierarchy For All Packages

Package Hierarchies:

• org.clafer.ast,
• org.clafer.ast.analysis,
• org.clafer.ast.compiler,
• org.clafer.choco.constraint,
• org.clafer.choco.constraint.propagator,
• org.clafer.collection,
• org.clafer.common,
• org.clafer.compiler,
• org.clafer.graph,
• org.clafer.instance,
• org.clafer.ir,
• org.clafer.ir.analysis,
• org.clafer.ir.compiler,
• org.clafer.javascript,
• org.clafer.objective,
• org.clafer.scope

Class Hierarchy

• java.lang.Object
  • org.clafer.ast.analysis.AbstractOffsetAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • org.clafer.ast.analysis.Analysis
  • org.clafer.ir.analysis.AnalysisUtil
  • org.clafer.collection.ArrayIntIterator (implements gnu.trove.iterator.TIntIterator)
  • org.clafer.ast.AstArithm (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstBoolArithm (implements org.clafer.ast.AstBoolExpr)
  • org.clafer.ast.AstCard (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstClafer (implements org.clafer.ast.AstVar)
    • org.clafer.ast.AstAbstractClafer
    • org.clafer.ast.AstConcreteClafer
      • org.clafer.ast.AstModel
    • org.clafer.ast.AstPrimClafer
      • org.clafer.ast.AstBoolClafer
      • org.clafer.ast.AstIntClafer
  • org.clafer.ast.AstCompare (implements org.clafer.ast.AstBoolExpr)
  • org.clafer.ast.compiler.AstCompiler
  • org.clafer.ast.AstConstant (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstConstraint
  • org.clafer.ast.AstDecl
  • org.clafer.ast.AstDifference (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstDowncast (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstExprRewriter<T> (implements org.clafer.ast.AstExprVisitor<A,B>)
    • org.clafer.ast.analysis.OptimizerAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • org.clafer.ast.AstGlobal (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstIdFactory
  • org.clafer.ast.AstIfThenElse (implements org.clafer.ast.AstBoolExpr)
  • org.clafer.ast.AstIntersection (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstJoin (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstJoinParent (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstJoinRef (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstLocal (implements org.clafer.ast.AstSetExpr, org.clafer.ast.AstVar)
  • org.clafer.ast.AstMembership (implements org.clafer.ast.AstBoolExpr)
  • org.clafer.ast.AstMinus (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstNot (implements org.clafer.ast.AstBoolExpr)
  • org.clafer.ast.AstQuantify (implements org.clafer.ast.AstBoolExpr)
  • org.clafer.ast.AstRef
  • org.clafer.ast.Asts
  • org.clafer.ast.AstSetTest (implements org.clafer.ast.AstBoolExpr)
  • org.clafer.ast.compiler.AstSolutionMap
  • org.clafer.ast.AstSum (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstTernary (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstThis (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstUnion (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstUpcast (implements org.clafer.ast.AstSetExpr)
  • org.clafer.ast.AstUtil
  • org.clafer.collection.BoundIntIterator (implements gnu.trove.iterator.TIntIterator)
  • org.clafer.ir.analysis.Canonicalizer
  • org.clafer.ast.Card (implements java.io.Serializable)
  • org.clafer.ast.analysis.CardAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • org.clafer.common.Check
  • org.clafer.compiler.ClaferCompiler
  • org.clafer.compiler.ClaferOptimizer (implements org.clafer.compiler.ClaferSearch<T>)
  • org.clafer.compiler.ClaferOptions
  • org.clafer.compiler.ClaferSolutionMap
  • org.clafer.compiler.ClaferSolver (implements org.clafer.compiler.ClaferSearch<T>)
  • org.clafer.compiler.ClaferUnsat
  • org.clafer.ir.analysis.Coalescer
  • org.clafer.ir.analysis.CommonSubexpression
  • solver.constraints.Constraint<V,P> (implements solver.propagation.IPriority, java.io.Serializable)
    • org.clafer.choco.constraint.OrConstraint
    • org.clafer.choco.constraint.ReifyEqualXC
    • org.clafer.choco.constraint.ReifyEqualXY
    • org.clafer.choco.constraint.SetEquality
  • org.clafer.choco.constraint.Constraints
  • org.clafer.collection.Counter
  • org.clafer.collection.DisjointSets<V>
  • org.clafer.ir.analysis.DuplicateConstraints
  • org.clafer.collection.Either<A,B>
    • org.clafer.collection.Left<A,B>
    • org.clafer.collection.Right<A,B>
  • org.clafer.collection.EmptyIntIterator (implements gnu.trove.iterator.TIntIterator)
  • org.clafer.collection.FixedCapacityIntSet (implements gnu.trove.set.TIntSet)
  • org.clafer.collection.FList<E> (implements java.lang.Iterable<T>)
  • org.clafer.ast.analysis.FormatAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • org.clafer.ast.analysis.GlobalCardAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • org.clafer.graph.GraphUtil
  • org.clafer.ir.analysis.ImplicationFlattener
  • org.clafer.instance.InstanceClafer
  • org.clafer.instance.InstanceModel
  • org.clafer.instance.InstanceRef
  • org.clafer.ir.IrAbstractBool
    • org.clafer.ir.IrAcyclic (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrAllDifferent (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrAnd (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrBoolChannel (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrCompare (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrFilterString (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrIfOnlyIf (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrIfThenElse (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrImplies (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrIntChannel (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrLone (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrMember (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrNot (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrNotImplies (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrNotMember (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrNotWithin (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrOne (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrOr (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrSelectN (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrSetTest (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrSortSets (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrSortStrings (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrSortStringsChannel (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrSubsetEq (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrUnreachable (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrWithin (implements org.clafer.ir.IrBoolExpr)
    • org.clafer.ir.IrXor (implements org.clafer.ir.IrBoolExpr)
  • org.clafer.ir.IrAbstractInt (implements org.clafer.ir.IrIntExpr)
    • org.clafer.ir.IrAdd
    • org.clafer.ir.IrCard
    • org.clafer.ir.IrCount
    • org.clafer.ir.IrDiv
    • org.clafer.ir.IrElement
    • org.clafer.ir.IrIntVar (implements org.clafer.ir.IrVar)
      • org.clafer.ir.IrBoolVar (implements org.clafer.ir.IrBoolExpr, org.clafer.ir.IrVar)
        • org.clafer.ir.IrBoolConstant (implements org.clafer.ir.IrConstant)
      • org.clafer.ir.IrIntConstant (implements org.clafer.ir.IrConstant)
    • org.clafer.ir.IrMinus
    • org.clafer.ir.IrMul
    • org.clafer.ir.IrSetSum
    • org.clafer.ir.IrTernary
  • org.clafer.ir.IrAbstractSet (implements org.clafer.ir.IrSetExpr)
    • org.clafer.ir.IrArrayToSet
    • org.clafer.ir.IrJoinFunction
    • org.clafer.ir.IrJoinRelation
    • org.clafer.ir.IrMask
    • org.clafer.ir.IrOffset
    • org.clafer.ir.IrSetDifference
    • org.clafer.ir.IrSetIntersection
    • org.clafer.ir.IrSetTernary
    • org.clafer.ir.IrSetUnion
    • org.clafer.ir.IrSetVar (implements org.clafer.ir.IrVar)
      • org.clafer.ir.IrSetConstant (implements org.clafer.ir.IrConstant)
    • org.clafer.ir.IrSingleton
  • org.clafer.ir.IrBoolExprVisitorAdapter<A,B> (implements org.clafer.ir.IrBoolExprVisitor<A,B>)
  • org.clafer.ir.IrBoundDomain (implements org.clafer.ir.IrDomain)
  • org.clafer.ir.compiler.IrCompiler
  • org.clafer.ir.IrEmptyDomain (implements org.clafer.ir.IrDomain)
  • org.clafer.ir.IrEnumDomain (implements org.clafer.ir.IrDomain)
  • org.clafer.ir.IrModule
  • org.clafer.ir.IrRewriter<T> (implements org.clafer.ir.IrIntExprVisitor<A,B>, org.clafer.ir.IrSetExprVisitor<A,B>)
  • org.clafer.ir.Irs
  • org.clafer.ir.compiler.IrSolutionMap
  • org.clafer.ir.IrUtil
  • org.clafer.javascript.Javascript
  • org.clafer.javascript.JavascriptContext
  • org.clafer.javascript.JavascriptShell
  • org.clafer.javascript.JavascriptShell.Options (implements org.clafer.javascript.JavascriptShell.Messagable)
  • org.clafer.graph.KeyGraph<V> (implements org.clafer.graph.Graph<V>)
  • org.clafer.choco.constraint.propagator.Main
  • org.clafer.collection.Maybe<T>
    • org.clafer.collection.Just<T>
    • org.clafer.collection.Nothing<T>
  • org.clafer.collection.MutableBoolean
  • org.clafer.objective.Objective
  • org.clafer.ast.analysis.Offsets
  • org.clafer.ir.analysis.Optimizer
  • org.clafer.collection.Pair<A,B>
  • org.clafer.ast.analysis.PartialIntAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • org.clafer.ast.analysis.PartialSolution
  • org.clafer.ast.analysis.PartialSolutionAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • solver.constraints.Propagator<V> (implements java.lang.Comparable<T>, solver.ICause, solver.Identity, java.io.Serializable)
    • org.clafer.choco.constraint.propagator.PropAcyclic
    • org.clafer.choco.constraint.propagator.PropAnd
    • org.clafer.choco.constraint.propagator.PropArrayToSet
    • org.clafer.choco.constraint.propagator.PropArrayToSetCard
    • org.clafer.choco.constraint.propagator.PropFilterString
    • org.clafer.choco.constraint.propagator.PropIfThenElse
    • org.clafer.choco.constraint.propagator.PropIntChannel
    • org.clafer.choco.constraint.propagator.PropIntNotMemberSet
    • org.clafer.choco.constraint.propagator.PropJoinFunction
    • org.clafer.choco.constraint.propagator.PropJoinFunctionCard
    • org.clafer.choco.constraint.propagator.PropJoinInjectiveRelationCard
    • org.clafer.choco.constraint.propagator.PropJoinRelation
    • org.clafer.choco.constraint.propagator.PropLexChainChannel
    • org.clafer.choco.constraint.propagator.PropLone
    • org.clafer.choco.constraint.propagator.PropMask
    • org.clafer.choco.constraint.propagator.PropOne
    • org.clafer.choco.constraint.propagator.PropOr
    • org.clafer.choco.constraint.propagator.PropReifyEqualXC
    • org.clafer.choco.constraint.propagator.PropReifyEqualXY
    • org.clafer.choco.constraint.propagator.PropSelectN
    • org.clafer.choco.constraint.propagator.PropSetDifference
    • org.clafer.choco.constraint.propagator.PropSetEqual
    • org.clafer.choco.constraint.propagator.PropSetNotEqual
    • org.clafer.choco.constraint.propagator.PropSetNotEqualC
    • org.clafer.choco.constraint.propagator.PropSetSum
    • org.clafer.choco.constraint.propagator.PropSetUnion
    • org.clafer.choco.constraint.propagator.PropSetUnionCard
    • org.clafer.choco.constraint.propagator.PropSingleton
    • org.clafer.choco.constraint.propagator.PropSortedSets
    • org.clafer.choco.constraint.propagator.PropSortedSetsCard
    • org.clafer.choco.constraint.propagator.PropUnreachable
  • org.clafer.choco.constraint.propagator.PropUtil
  • org.clafer.collection.ReverseArrayIntIterator (implements gnu.trove.iterator.TIntIterator)
  • org.clafer.collection.ReverseBoundIntIterator (implements gnu.trove.iterator.TIntIterator)
  • org.clafer.scope.Scope (implements org.clafer.scope.Scopable)
  • org.clafer.ast.analysis.ScopeAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • org.clafer.scope.ScopeBuilder (implements org.clafer.scope.Scopable)
  • org.clafer.collection.SingleIntIterator (implements gnu.trove.iterator.TIntIterator)
  • org.clafer.ast.analysis.SymmetryAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • org.clafer.ast.analysis.AnalysisException
          • org.clafer.ast.analysis.TypeException
        • org.clafer.ast.AstException
        • org.clafer.ir.IrException
        • org.clafer.javascript.JavascriptException
  • org.clafer.collection.Triple<A,B,C>
  • org.clafer.ast.analysis.Type
  • org.clafer.ast.analysis.TypeAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • org.clafer.ast.analysis.UnsatAnalyzer (implements org.clafer.ast.analysis.Analyzer)
  • org.clafer.common.Util
  • org.clafer.graph.Vertex<V>

Interface Hierarchy

• org.clafer.ast.analysis.Analyzer
• org.clafer.ast.AstExpr
  • org.clafer.ast.AstBoolExpr
  • org.clafer.ast.AstSetExpr
• org.clafer.ast.AstExprVisitor<A,B>
• org.clafer.ast.AstVar
• org.clafer.compiler.ClaferSearch<T>
• org.clafer.graph.Graph<V>
• org.clafer.ir.IrBoolExprVisitor<A,B>
  • org.clafer.ir.IrIntExprVisitor<A,B>
• org.clafer.ir.IrConstant
• org.clafer.ir.IrDomain
• org.clafer.ir.IrExpr
  • org.clafer.ir.IrBoolExpr
  • org.clafer.ir.IrIntExpr
    • org.clafer.ir.IrBoolExpr
  • org.clafer.ir.IrSetExpr
• org.clafer.ir.IrSetExprVisitor<A,B>
• org.clafer.ir.IrVar
• org.clafer.javascript.JavascriptShell.Messagable
• org.clafer.scope.Scopable

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.clafer.ir.IrUtil.Ordering
    • org.clafer.ir.IrCompare.Op
    • org.clafer.ir.IrSetTest.Op
    • org.clafer.ir.IrBoolDomain (implements org.clafer.ir.IrDomain)
    • org.clafer.ast.AstBoolArithm.Op
    • org.clafer.ast.AstCompare.Op
    • org.clafer.ast.AstArithm.Op
    • org.clafer.ast.AstSetTest.Op
    • org.clafer.ast.AstQuantify.Quantifier
    • org.clafer.ast.AstMembership.Op
    • org.clafer.ast.analysis.Format