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 processing
private int	BasicPreprocessor.simplifyClause(IntVec clause)	simplify the clause by removing duplicates and checking for triviality.