org.sat4j.minisat.core
Interface ILits23

All Superinterfaces:

ILits, ILits2

All Known Implementing Classes:

Lits23

public interface ILits23
extends ILits2

Author:

leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

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)