Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Class
org.sat4j.pb.constraints.pb.WatchPbLongCP

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

Uses of WatchPbLongCP in org.sat4j.pb.constraints.pb
 

Subclasses of WatchPbLongCP in org.sat4j.pb.constraints.pb
 class MaxWatchPbLongCP
          Data structure for pseudo-boolean constraint with watched literals.
 class MinWatchPbLongCP
          Data structure for pseudo-boolean constraint with watched literals.
 

Methods in org.sat4j.pb.constraints.pb that return WatchPbLongCP
static WatchPbLongCP MaxWatchPbLongCP.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
          build a pseudo boolean constraint from a specific data structure.
static WatchPbLongCP MinWatchPbLongCP.normalizedWatchPbNew(ILits voc, IDataStructurePB mpb)
          build a pseudo boolean constraint from a specific data structure.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    
Copyright © 2011 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.