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


Copyright © 2007 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.