Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
Hierarchy For All Packages
Package Hierarchies:
kodkod.ast
,
kodkod.ast.visitor
,
kodkod.engine
,
kodkod.engine.bool
,
kodkod.engine.config
,
kodkod.engine.fol2sat
,
kodkod.engine.satlab
,
kodkod.engine.ucore
,
kodkod.instance
,
kodkod.util.collections
,
kodkod.util.ints
,
nativesolver
Class Hierarchy
java.lang.Object
java.util.AbstractCollection<E> (implements java.util.Collection<E>)
java.util.AbstractSet<E> (implements java.util.Set<E>)
kodkod.util.collections.
CacheSet
<E>
kodkod.util.collections.
IdentityHashSet
<T>
kodkod.util.collections.
SingletonIdentitySet
<V>
kodkod.instance.
TupleSet
(implements java.lang.Cloneable)
kodkod.ast.visitor.
AbstractCollector
<T> (implements kodkod.ast.visitor.
ReturnVisitor
<E,F,D,I>)
kodkod.ast.visitor.
AbstractDetector
(implements kodkod.ast.visitor.
ReturnVisitor
<E,F,D,I>)
kodkod.util.ints.
AbstractIntCollection
(implements kodkod.util.ints.
IntCollection
)
kodkod.util.ints.
AbstractIntSet
(implements kodkod.util.ints.
IntSet
)
kodkod.util.ints.
ArrayIntSet
kodkod.util.ints.
IntBitSet
(implements java.lang.Cloneable)
kodkod.util.ints.
IntTreeSet
(implements java.lang.Cloneable)
kodkod.util.ints.
AbstractIntVector
(implements kodkod.util.ints.
IntVector
)
kodkod.util.ints.
ArrayIntVector
java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
kodkod.util.collections.
FixedMap
<K,V> (implements kodkod.util.collections.
Indexer
<K>)
kodkod.ast.visitor.
AbstractReplacer
(implements kodkod.ast.visitor.
ReturnVisitor
<E,F,D,I>)
kodkod.engine.config.
AbstractReporter
(implements kodkod.engine.config.
Reporter
)
kodkod.util.ints.
AbstractSparseSequence
<V> (implements kodkod.util.ints.
SparseSequence
<V>)
kodkod.util.ints.
ArraySequence
<V> (implements java.lang.Cloneable)
kodkod.util.ints.
HomogenousSequence
<V>
kodkod.util.ints.
RangeSequence
<V> (implements java.lang.Cloneable)
kodkod.util.ints.
TreeSequence
<V> (implements java.lang.Cloneable)
kodkod.ast.visitor.
AbstractVoidVisitor
(implements kodkod.ast.visitor.
VoidVisitor
)
kodkod.engine.bool.
BooleanFactory
kodkod.engine.bool.
BooleanMatrix
(implements java.lang.Cloneable, java.lang.Iterable<T>)
kodkod.engine.bool.
BooleanValue
(implements java.lang.Comparable<T>)
kodkod.engine.bool.
BooleanAccumulator
(implements java.lang.Iterable<T>)
kodkod.engine.bool.
BooleanConstant
kodkod.engine.bool.
BooleanFormula
(implements java.lang.Iterable<T>)
kodkod.engine.bool.
BooleanVariable
kodkod.engine.bool.
ITEGate
kodkod.engine.bool.
MultiGate
kodkod.engine.bool.
NotGate
kodkod.instance.
Bounds
(implements java.lang.Cloneable)
kodkod.engine.satlab.
Clause
kodkod.engine.config.
ConsoleReporter
(implements kodkod.engine.config.
Reporter
)
kodkod.util.collections.
Containers
kodkod.engine.ucore.
CRRStrategy
(implements kodkod.engine.satlab.
ReductionStrategy
)
kodkod.ast.
Decls
(implements java.lang.Iterable<T>, kodkod.ast.
Node
)
kodkod.ast.
Decl
kodkod.engine.bool.
Dimensions
kodkod.engine.ucore.
EmptyClauseConeStrategy
(implements kodkod.engine.satlab.
ReductionStrategy
)
kodkod.engine.
Evaluator
kodkod.ast.
Expression
(implements kodkod.ast.
Node
)
kodkod.ast.
BinaryExpression
kodkod.ast.
Comprehension
kodkod.ast.
IfExpression
kodkod.ast.
IntToExprCast
kodkod.ast.
LeafExpression
kodkod.ast.
ConstantExpression
kodkod.ast.
Relation
kodkod.ast.
Variable
kodkod.ast.
ProjectExpression
kodkod.ast.
UnaryExpression
kodkod.ast.
Formula
(implements kodkod.ast.
Node
)
kodkod.ast.
BinaryFormula
kodkod.ast.
ComparisonFormula
kodkod.ast.
ConstantFormula
kodkod.ast.
IntComparisonFormula
kodkod.ast.
MultiplicityFormula
kodkod.ast.
NotFormula
kodkod.ast.
QuantifiedFormula
kodkod.ast.
RelationPredicate
kodkod.ast.
RelationPredicate.Acyclic
kodkod.ast.
RelationPredicate.Function
kodkod.ast.
RelationPredicate.TotalOrdering
kodkod.engine.ucore.
HybridStrategy
(implements kodkod.engine.satlab.
ReductionStrategy
)
kodkod.instance.
Instance
(implements java.lang.Cloneable)
kodkod.engine.bool.
Int
kodkod.ast.
IntExpression
(implements kodkod.ast.
Node
)
kodkod.ast.
BinaryIntExpression
kodkod.ast.
ExprToIntCast
kodkod.ast.
IfIntExpression
kodkod.ast.
IntConstant
kodkod.ast.
SumExpression
kodkod.ast.
UnaryIntExpression
kodkod.util.ints.
IntRange
kodkod.util.ints.
Ints
nativesolver.
Make
kodkod.engine.ucore.
MinTopStrategy
(implements kodkod.engine.satlab.
ReductionStrategy
)
kodkod.engine.ucore.
NaiveStrategy
(implements kodkod.engine.satlab.
ReductionStrategy
)
kodkod.engine.bool.
Operator
(implements java.lang.Comparable<T>)
kodkod.engine.bool.
Operator.Nary
kodkod.engine.config.
Options
kodkod.engine.
Proof
kodkod.engine.satlab.
SATFactory
kodkod.engine.
Solution
kodkod.engine.
Solver
kodkod.util.collections.
Stack
<T> (implements java.lang.Iterable<T>)
kodkod.util.collections.
ArrayStack
<T>
kodkod.util.collections.
LinkedStack
<T>
kodkod.engine.
Statistics
kodkod.engine.ucore.
StrategyUtils
java.lang.Throwable (implements java.io.Serializable)
java.lang.Exception
java.lang.RuntimeException
kodkod.engine.
AbortedException
kodkod.engine.fol2sat.
HigherOrderDeclException
kodkod.engine.satlab.
SATAbortedException
kodkod.engine.fol2sat.
TranslationAbortedException
kodkod.engine.fol2sat.
UnboundLeafException
kodkod.engine.fol2sat.
TrivialFormulaException
kodkod.engine.fol2sat.
Translation
kodkod.engine.fol2sat.
TranslationLog
kodkod.engine.fol2sat.
TranslationRecord
kodkod.engine.fol2sat.
Translator
kodkod.instance.
Tuple
kodkod.instance.
TupleFactory
kodkod.instance.
Universe
(implements java.lang.Iterable<T>)
Interface Hierarchy
kodkod.engine.bool.
BooleanVisitor
<T,A>
java.lang.Cloneable
kodkod.util.ints.
IntSet
(also extends kodkod.util.ints.
IntCollection
)
kodkod.engine.
Cost
kodkod.util.ints.
IndexedEntry
<E>
kodkod.util.collections.
Indexer
<K>
kodkod.util.ints.
IntCollection
kodkod.util.ints.
IntSet
(also extends java.lang.Cloneable)
kodkod.util.ints.
IntVector
kodkod.util.ints.
IntIterator
java.lang.Iterable<T>
kodkod.engine.satlab.
ResolutionTrace
kodkod.util.ints.
SparseSequence
<V>
kodkod.ast.
Node
kodkod.engine.fol2sat.
RecordFilter
kodkod.engine.satlab.
ReductionStrategy
kodkod.engine.config.
Reporter
kodkod.ast.visitor.
ReturnVisitor
<E,F,D,I>
kodkod.engine.satlab.
SATSolver
kodkod.engine.satlab.
SATMinSolver
kodkod.engine.satlab.
SATProver
kodkod.ast.visitor.
VoidVisitor
Enum Hierarchy
java.lang.Object
java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
kodkod.ast.
UnaryIntExpression.Operator
kodkod.ast.
UnaryExpression.Operator
kodkod.ast.
RelationPredicate.Name
kodkod.ast.
QuantifiedFormula.Quantifier
kodkod.ast.
Multiplicity
kodkod.ast.
IntComparisonFormula.Operator
kodkod.ast.
ExprToIntCast.Operator
kodkod.ast.
ComparisonFormula.Operator
kodkod.ast.
BinaryIntExpression.Operator
kodkod.ast.
BinaryFormula.Operator
kodkod.ast.
BinaryExpression.Operator
kodkod.engine.
Solution.Outcome
kodkod.engine.config.
Options.IntEncoding
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes