public interface IConstr
Modifier and Type | Method and Description |
---|---|
boolean |
canBePropagatedMultipleTimes()
Partition constraints into the ones that can only be found once on the
trail (e.g.
|
int |
get(int i)
returns the ith literal in the constraint
|
double |
getActivity()
To obtain the activity of the constraint.
|
boolean |
learnt() |
int |
size() |
boolean learnt()
int size()
int get(int i)
i
- the index of the literaldouble getActivity()
boolean canBePropagatedMultipleTimes()