A G H M O S

A

addAtLeast(T[], int) - Method in class org.sat4j.helper.MappingHelper

Easy way to enter in the solver that at least degree x[i] must be satisfied.

addAtLeast(Collection<T>, int) - Method in class org.sat4j.helper.MappingHelper

Easy way to enter in the solver that at least degree x[i] must be satisfied.

addAtMost(T[], int) - Method in class org.sat4j.helper.MappingHelper

Easy way to enter in the solver that at most degree x[i] must be satisfied.

addAtMost(Collection<T>, int) - Method in class org.sat4j.helper.MappingHelper

Easy way to enter in the solver that at most degree x[i] must be satisfied.

addConflict(Collection<T>) - Method in class org.sat4j.helper.MappingHelper

Easy way to mean that a set of things are incompatible, i.e. they cannot altogether be satisfied.

addConflict(T...) - Method in class org.sat4j.helper.MappingHelper

Easy way to mean that a set of things are incompatible, i.e. they cannot altogether be satisfied.

addExactlyOneOf(T...) - Method in class org.sat4j.helper.MappingHelper

addImplication(T, T[]) - Method in class org.sat4j.helper.MappingHelper

Easy way to feed the solver with a clause.

addImplication(T, Collection<T>) - Method in class org.sat4j.helper.MappingHelper

Easy way to feed the solver with implications.

addImplies(T, T) - Method in class org.sat4j.helper.MappingHelper

Easy way to feed the solver with implications.

addImplies(T[], T) - Method in class org.sat4j.helper.MappingHelper

Easy way to feed the solver with implications.

addImplies(Collection<T>, T) - Method in class org.sat4j.helper.MappingHelper

Easy way to feed the solver with implications.

addImplies(T, T[]) - Method in class org.sat4j.helper.MappingHelper

Easy way to feed the solver with implications.

addImplies(T, Collection<T>) - Method in class org.sat4j.helper.MappingHelper

Easy way to feed the solver with implications.

addImpliesEquivalence(T, T, T) - Method in class org.sat4j.helper.MappingHelper

Add a constraint x -> (y <-> z).

G

getBooleanValueFor(T) - Method in class org.sat4j.helper.MappingHelper

getSolution() - Method in class org.sat4j.helper.MappingHelper

H

hasASolution() - Method in class org.sat4j.helper.MappingHelper

M

MappingHelper<T> - Class in org.sat4j.helper

Helper class intended to make life easier to people to feed a sat solver programmatically.

MappingHelper(ISolver) - Constructor for class org.sat4j.helper.MappingHelper

O

org.sat4j.helper - package org.sat4j.helper

S

setFalse(T...) - Method in class org.sat4j.helper.MappingHelper

setTrue(T...) - Method in class org.sat4j.helper.MappingHelper

A G H M O S