Uses of Interface
org.sat4j.minisat.core.Propagatable

Packages that use Propagatable
org.sat4j.minisat.constraints Implementations of various constraints for MiniSAT. 
org.sat4j.minisat.constraints.card Implementations of cardinality contraints. 
org.sat4j.minisat.constraints.cnf Implementations of clausal contraints. 
org.sat4j.minisat.core Implementation of the MiniSAT solver skeleton. 
 

Uses of Propagatable in org.sat4j.minisat.constraints
 

Methods in org.sat4j.minisat.constraints that return types with arguments of type Propagatable
 IVec<Propagatable> AbstractDataStructureFactory.getWatchesFor(int p)
           
 IVec<Propagatable> ClausalDataStructureCB.getWatchesFor(int p)
           
 

Uses of Propagatable in org.sat4j.minisat.constraints.card
 

Classes in org.sat4j.minisat.constraints.card that implement Propagatable
 class AtLeast
           
 class MaxWatchCard
           
 class MinWatchCard
           
 

Uses of Propagatable in org.sat4j.minisat.constraints.cnf
 

Classes in org.sat4j.minisat.constraints.cnf that implement Propagatable
 class BinaryClause
          Data structure for binary clause.
 class CBClause
           
 class HTClause
          Lazy data structure for clause using the Head Tail data structure from SATO, The original scheme is improved by avoiding moving pointers to literals but moving the literals themselves.
 class LearntBinaryClause
           
 class LearntHTClause
           
 class LearntWLClause
           
 class MixableCBClause
          Counter Based clauses that can be mixed with WLCLauses
 class OriginalBinaryClause
           
 class OriginalHTClause
           
 class OriginalWLClause
           
 class UnitClause
           
 class UnitClauses
           
 class WLClause
          Lazy data structure for clause using Watched Literals.
 

Methods in org.sat4j.minisat.constraints.cnf that return types with arguments of type Propagatable
 IVec<Propagatable> Lits.watches(int lit)
           
 

Methods in org.sat4j.minisat.constraints.cnf with parameters of type Propagatable
 void Lits.watch(int lit, Propagatable c)
           
 

Uses of Propagatable in org.sat4j.minisat.core
 

Subinterfaces of Propagatable in org.sat4j.minisat.core
 interface Constr
          Basic constraint abstraction used in Solver.
 

Methods in org.sat4j.minisat.core that return types with arguments of type Propagatable
 IVec<Propagatable> DataStructureFactory.getWatchesFor(int p)
           
 IVec<Propagatable> ILits.watches(int lit)
           
 

Methods in org.sat4j.minisat.core with parameters of type Propagatable
 void ILits.watch(int lit, Propagatable c)
           
 



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