org.sat4j.specs
Interface IConstr

All Known Subinterfaces:
Constr, PBConstr
All Known Implementing Classes:
AtLeast, AtLeastPB, BinaryClauses, CBClause, DefaultWLClause, LearntWLClause, MaxWatchCard, MaxWatchPb, MinWatchCard, MinWatchCardPB, MinWatchPb, MixableCBClause, MixableCBClausePB, OriginalWLClause, PuebloMinWatchPb, TernaryClauses, WatchPb, WLClause, WLClausePB

public interface IConstr

The most general abstraction for handling a constraint.

Author:
leberre

Method Summary
 int get(int i)
          returns the ith literal in the constraint
 boolean learnt()
           
 int size()
           
 

Method Detail

learnt

boolean learnt()
Returns:
true iff the clause was learnt during the search

size

int size()
Returns:
the number of literals in the constraint.

get

int get(int i)
returns the ith literal in the constraint

Parameters:
i - the index of the literal
Returns:
a literal


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