org.sat4j.minisat.constraints.cnf
Class Lits2

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

public class Lits2
extends Lits
implements ILits2

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
Lits2()
           
 
Method Summary
 void binaryClauses(int lit1, int lit2)
          Method to create a binary clause.
 int nBinaryClauses(int p)
          To know the number of binary clauses in which the literal occurs.
 
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.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

Lits2

public Lits2()
Method Detail

nBinaryClauses

public int nBinaryClauses(int p)
To know the number of binary clauses in which the literal occurs. Please note that this method should only be used in conjunction with the BinaryClauses data structure.

Specified by:
nBinaryClauses in interface ILits2
Parameters:
p -
Returns:
the number of binary clauses in which the literal occurs.

binaryClauses

public void binaryClauses(int lit1,
                          int lit2)
Description copied from interface: ILits2
Method to create a binary clause.

Specified by:
binaryClauses in interface ILits2
Parameters:
lit1 - the first literal of the clause
lit2 - the second literal of the clause


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