A B C D E F G I M N O P R S T U V W X

S

setExpression(String) - Method in class org.sat4j.csp.Predicate

setVerbosity(boolean) - Method in class org.sat4j.reader.XMLCSPReader

SingletonDomain - Class in org.sat4j.csp

Represents a domain with a single value.

SingletonDomain(int) - Constructor for class org.sat4j.csp.SingletonDomain

size() - Method in interface org.sat4j.csp.Domain

size() - Method in class org.sat4j.csp.EnumeratedDomain

size() - Method in class org.sat4j.csp.RangeDomain

size() - Method in class org.sat4j.csp.SingletonDomain

Supports - Class in org.sat4j.csp.constraints

Supports(int, int) - Constructor for class org.sat4j.csp.constraints.Supports