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