-
Classes Class Description org.jacop.constraints.Linear As of release 4.3.1 replaced by LinearInt constraint.org.jacop.constraints.Sum As of release 4.3.1 replaced by SumInt constraint.org.jacop.constraints.SumWeightDom As of release 4.3.1 replaced by LinearIntDom constraint.org.jacop.jasat.utils.GenericMemoryPool org.jacop.satwrapper.translation.LazyCpVarDomain org.jacop.set.constraints.Lex As of release 4.5.1 replaced by AltB and AleB constraints.
-
Methods Method Description org.jacop.fz.SimpleCharStream.getColumn() org.jacop.fz.SimpleCharStream.getLine() org.jacop.jasat.core.clauses.MapClause.isTrivial()