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

O

onFinish(ISolver, IVec<Var>) - Method in interface org.sat4j.csp.Encoding

onFinish(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.BinarySupportEncoding

onFinish(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.DirectEncoding

onFinish(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.GeneralizedSupportEncoding

onInit(ISolver, IVec<Var>) - Method in interface org.sat4j.csp.Encoding

onInit(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.BinarySupportEncoding

onInit(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.DirectEncoding

onInit(ISolver, IVec<Var>) - Method in class org.sat4j.csp.encodings.GeneralizedSupportEncoding

onNogood(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in interface org.sat4j.csp.Encoding

onNogood(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.BinarySupportEncoding

onNogood(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.DirectEncoding

onNogood(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.GeneralizedSupportEncoding

onSupport(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in interface org.sat4j.csp.Encoding

onSupport(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.BinarySupportEncoding

onSupport(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.DirectEncoding

onSupport(ISolver, IVec<Var>, Map<Evaluable, Integer>) - Method in class org.sat4j.csp.encodings.GeneralizedSupportEncoding

org.sat4j.csp - package org.sat4j.csp

Classes needed for CSP to SAT translation.

org.sat4j.csp.constraints - package org.sat4j.csp.constraints

Classes needed for CSP to SAT translation.

org.sat4j.csp.encodings - package org.sat4j.csp.encodings

org.sat4j.reader - package org.sat4j.reader

Some utility classes to read problems from plain text files.