org.sat4j.minisat.core
Interface ILits23

All Superinterfaces:

ILits, ILits2

All Known Implementing Classes:

Lits23

public interface ILits23
extends ILits2

Specific vocabulary taking special care of binary and ternary clauses.

Author:

leberre

Field Summary

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

UNDEFINED

Method Summary

int	nTernaryClauses(int p)
void	ternaryClauses(int lit1, int lit2, int lit3)

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

Method Detail

nTernaryClauses

int nTernaryClauses(int p)

ternaryClauses

void ternaryClauses(int lit1,
                    int lit2,
                    int lit3)