Class Hierarchy
- java.lang.Object
- org.chocosolver.solver.constraints.Propagator<V> (implements java.lang.Comparable<T>, org.chocosolver.solver.ICause, org.chocosolver.solver.Identity)
- org.chocosolver.sat.PropNogoods
- org.chocosolver.sat.PropSat
- org.chocosolver.solver.constraints.Propagator<V> (implements java.lang.Comparable<T>, org.chocosolver.solver.ICause, org.chocosolver.solver.Identity)