Uses of Class
org.sat4j.minisat.constraints.pb.WLClausePB

Packages that use WLClausePB
org.sat4j.minisat.constraints.pb Implementations of pseudo boolean contraints. 
 

Uses of WLClausePB in org.sat4j.minisat.constraints.pb
 

Methods in org.sat4j.minisat.constraints.pb that return WLClausePB
static WLClausePB WLClausePB.brandNewClause(UnitPropagationListener s, ILits voc, IVecInt literals)
          Creates a brand new clause, presumably from external data.
 



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