Uses of Class
org.sat4j.reader.csp.Var

Packages that use Var

org.sat4j.reader.csp

Uses of Var in org.sat4j.reader.csp

Methods in org.sat4j.reader.csp with parameters of type Var

void	SupportsGeneralizedACEncoding.toClause(ISolver solver, Var[] vars)
void	Nogoods.toClause(ISolver solver, Var[] vars)
void	SupportsDirectEncoding.toClause(ISolver solver, Var[] vars)
void	BinarySupportsACEncoding.toClause(ISolver solver, Var[] vars)
void	Relation.toClause(ISolver solver, Var[] vars)