Modifier and Type | Field and Description |
---|---|
ImmutableSet<Term> |
literals
all literals contains in this clause
|
Constructor and Description |
---|
PredictCostProver.Clause(ImmutableSet<Term> lits) |
Modifier and Type | Method and Description |
---|---|
long |
cost() |
boolean |
equals(Object o) |
void |
firstRefine()
Refine this clause in two process, first try to refined by itself, @see
selfRefine.
|
int |
hashCode() |
Iterator<Term> |
iterator() |
ImmutableSet<Term> |
refine(Iterable<? extends Term> assertLits)
Refine literals in this clause, but it does not change literlas, only
return literals that can't be removed by refining
|
boolean |
selfRefine(ImmutableSet<Term> lits)
This method is used for detect where a clause can be simply refined
to to true.
|
String |
toString() |
public ImmutableSet<Term> literals
public PredictCostProver.Clause(ImmutableSet<Term> lits)
public long cost()
public void firstRefine()
public ImmutableSet<Term> refine(Iterable<? extends Term> assertLits)
public boolean selfRefine(ImmutableSet<Term> lits)