org.sat4j.specs
Interface IConstr

All Known Subinterfaces:

Constr

All Known Implementing Classes:

AtLeast, BinaryClause, CBClause, HTClause, LearntBinaryClause, LearntHTClause, LearntWLClause, MaxWatchCard, MinWatchCard, MixableCBClause, OriginalBinaryClause, OriginalHTClause, OriginalWLClause, UnitClause, UnitClauses, WLClause

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
double	getActivity() To obtain the activity of 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

getActivity

double getActivity()

To obtain the activity of the constraint.

Returns:

the activity of the clause.

Since:

2.1