org.sat4j.minisat.core
Interface ILits2

All Superinterfaces:

ILits

All Known Subinterfaces:

ILits23

All Known Implementing Classes:

Lits2, Lits23

public interface ILits2
extends ILits

Specific vocabulary taking special care of binary clauses.

Author:

leberre

Field Summary

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

UNDEFINED

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 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

nBinaryClauses

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.

Parameters:

p -

Returns:

the number of binary clauses.

binaryClauses

void binaryClauses(int lit1,
                   int lit2)

Method to create a binary clause.

Parameters:

lit1 - the first literal of the clause

lit2 - the second literal of the clause