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 and Description
int	Core.addModelClause(IntVec clause) adds a clause to the solver

Uses of IntVec in org.jacop.jasat.utils

Methods in org.jacop.jasat.utils that return IntVec

Modifier and Type	Method and Description
IntVec	CnfParser.next()

Methods in org.jacop.jasat.utils that return types with arguments of type IntVec

Modifier and Type	Method and Description
Iterator<IntVec>	CnfParser.iterator() to be called only once!

Methods in org.jacop.jasat.utils with parameters of type IntVec

Modifier and Type	Method and Description
void	BasicPreprocessor.addModelClause(IntVec clause) add a clause (just parsed from a file, e.g.) to the solver, after processing