org.sat4j.minisat.constraints.cnf
Class Lits23

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

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

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

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

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