Modifier and Type | Method and Description |
---|---|
boolean |
canBePropagatedMultipleTimes()
Partition constraints into the ones that can only be found once on the
trail (e.g. clauses) and the ones that can be found several times (e.g.
|
int |
get(int i)
returns the ith literal in the constraint
|
double |
getActivity()
To obtain the activity of the constraint.
|
static UnitWeightedClause |
instance() |
boolean |
learnt() |
int |
size() |
public static UnitWeightedClause instance()
public boolean learnt()
public int size()
public int get(int i)
IConstr
public double getActivity()
IConstr
getActivity
in interface IConstr
public boolean canBePropagatedMultipleTimes()
IConstr
canBePropagatedMultipleTimes
in interface IConstr
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.