org.sat4j.specs
Interface IConstr

All Known Subinterfaces:

Constr

All Known Implementing Classes:

AtLeast, BinaryClause, BinaryClauses, CBClause, HTClause, LearntBinaryClause, LearntHTClause, MinWatchCard, MixableCBClause, OriginalBinaryClause, OriginalHTClause, TernaryClauses, UnitClause

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