Class Hierarchy
- java.lang.Object
- org.jacop.jasat.core.ConflictLearning (implements org.jacop.jasat.core.SolverComponent)
- org.jacop.jasat.core.Core (implements org.jacop.jasat.core.SolverComponent)
- java.util.Dictionary<K,V>
- java.util.Hashtable<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
- java.util.Properties
- org.jacop.jasat.core.Config
- java.util.Properties
- java.util.Hashtable<K,V> (implements java.lang.Cloneable, java.util.Map<K,V>, java.io.Serializable)
- org.jacop.jasat.core.RunSolver
- org.jacop.jasat.core.SolverState
- org.jacop.jasat.core.Trail (implements org.jacop.jasat.core.SolverComponent)
Interface Hierarchy
- org.jacop.jasat.core.SolverComponent