Uses of Class
org.jacop.jasat.utils.structures.IntVec
-
Packages that use IntVec Package Description org.jacop.jasat.core org.jacop.jasat.utils -
-
Uses of IntVec in org.jacop.jasat.core
Methods in org.jacop.jasat.core with parameters of type IntVec Modifier and Type Method Description int
Core. addModelClause(IntVec clause)
adds a clause to the solver -
Uses of IntVec in org.jacop.jasat.utils
Fields in org.jacop.jasat.utils declared as IntVec Modifier and Type Field Description private IntVec
CnfParser. nextClause
Methods in org.jacop.jasat.utils that return IntVec Modifier and Type Method Description IntVec
CnfParser. next()
Methods in org.jacop.jasat.utils that return types with arguments of type IntVec Modifier and Type Method Description java.util.Iterator<IntVec>
CnfParser. iterator()
to be called only once!Methods in org.jacop.jasat.utils with parameters of type IntVec Modifier and Type Method Description void
BasicPreprocessor. addModelClause(IntVec clause)
add a clause (just parsed from a file, e.g.) to the solver, after processingprivate int
BasicPreprocessor. simplifyClause(IntVec clause)
simplify the clause by removing duplicates and checking for triviality.
-