Package org.sat4j.core

Implementation of the data structures available in org.sat4j.specs.

See:
          Description

Class Summary
ASolverFactory<T extends ISolver> A solver factory is responsible for providing prebuilt solvers to the end user.
ConstrGroup A utility class used to manage easily group of clauses to be deleted at some point in the solver.
DefaultComparator<A extends Comparable<A>> A simple comparator for comparable objects.
LiteralsUtils Utility methods to avoid using bit manipulation inside code.
ReadOnlyVec<T> Utility class to allow Read Only access to an IVec.
ReadOnlyVecInt Utility class to allow Read Only access only to an IVecInt.
Vec<T> Simple but efficient vector implementation, based on the vector implementation available in MiniSAT.
VecInt A vector specific for primitive integers, widely used in the solver.
 

Package org.sat4j.core Description

Implementation of the data structures available in org.sat4j.specs. Those classes were previously located in org.sat4j.minisat.core.



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.