org.sat4j.minisat.constraints.cnf
Class Lits23

java.lang.Object
  extended by org.sat4j.minisat.constraints.cnf.Lits
      extended by org.sat4j.minisat.constraints.cnf.Lits2
          extended by org.sat4j.minisat.constraints.cnf.Lits23
All Implemented Interfaces:
java.io.Serializable, ILits, ILits2, ILits23

public class Lits23
extends Lits2
implements ILits23

Author:
leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments
See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.sat4j.minisat.constraints.cnf.Lits
watches
 
Fields inherited from interface org.sat4j.minisat.core.ILits
UNDEFINED
 
Constructor Summary
Lits23()
           
 
Method Summary
 int nTernaryClauses(int p)
           
 void ternaryClauses(int lit1, int lit2, int lit3)
           
 
Methods inherited from class org.sat4j.minisat.constraints.cnf.Lits2
binaryClauses, nBinaryClauses
 
Methods inherited from class org.sat4j.minisat.constraints.cnf.Lits
attach, attaches, belongsToPool, capacity, ensurePool, getFromPool, getLevel, getReason, init, isFalsified, isImplied, isSatisfied, isUnassigned, not, nVars, realnVars, reset, resetPool, satisfies, setLevel, setReason, toString, unassign, undos, valueToString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface org.sat4j.minisat.core.ILits2
binaryClauses, nBinaryClauses
 
Methods inherited from interface org.sat4j.minisat.core.ILits
attach, attaches, belongsToPool, ensurePool, getFromPool, getLevel, getReason, init, isFalsified, isImplied, isSatisfied, isUnassigned, not, nVars, realnVars, reset, resetPool, satisfies, setLevel, setReason, unassign, undos, valueToString
 

Constructor Detail

Lits23

public Lits23()
Method Detail

ternaryClauses

public void ternaryClauses(int lit1,
                           int lit2,
                           int lit3)
Specified by:
ternaryClauses in interface ILits23

nTernaryClauses

public int nTernaryClauses(int p)
Specified by:
nTernaryClauses in interface ILits23


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