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
attach, attaches, belongsToPool, ensurePool, getFromPool, getLevel, getReason, init, isFalsified, isImplied, isSatisfied, isUnassigned, not, nVars, realnVars, reset, resetPool, satisfies, setLevel, setReason, unassign, undos, valueToString
 

Method Detail

nTernaryClauses

int nTernaryClauses(int p)

ternaryClauses

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


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