org.sat4j.minisat.constraints.cnf
Class Lits2

java.lang.Object
  org.sat4j.minisat.constraints.cnf.Lits
      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

truthValue

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

belongsToPool, ensurePool, getFromPool, getLevel, getReason, init, isFalsified, isImplied, isSatisfied, isUnassigned, not, nVars, realnVars, reset, resetPool, satisfies, setLevel, setReason, toString, unassign, undos, valueToString, watch, watches

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.sat4j.minisat.core.ILits

belongsToPool, ensurePool, getFromPool, getLevel, getReason, init, isFalsified, isImplied, isSatisfied, isUnassigned, not, nVars, realnVars, reset, resetPool, satisfies, setLevel, setReason, unassign, undos, valueToString, watch, watches

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