Uses of Class
org.jacop.jasat.utils.structures.IntVec
Packages that use IntVec
-
Uses of IntVec in org.jacop.jasat.core
Methods in org.jacop.jasat.core with parameters of type IntVecModifier and TypeMethodDescriptionint
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 IntVecMethods in org.jacop.jasat.utils that return IntVecMethods in org.jacop.jasat.utils that return types with arguments of type IntVecMethods in org.jacop.jasat.utils with parameters of type IntVecModifier and TypeMethodDescriptionvoid
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.