private class PredictCostProver.Clause extends java.lang.Object implements java.lang.Iterable<Term>
Modifier and Type | Field and Description |
---|---|
ImmutableSet<Term> |
literals
all literals contains in this clause
|
Constructor and Description |
---|
Clause(ImmutableSet<Term> lits) |
Modifier and Type | Method and Description |
---|---|
long |
cost() |
boolean |
equals(java.lang.Object o) |
void |
firstRefine()
Refine this clause in two process, first try to refined by itself, @see
selfRefine.
|
int |
hashCode() |
java.util.Iterator<Term> |
iterator() |
ImmutableSet<Term> |
refine(java.lang.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.
|
java.lang.String |
toString() |
public ImmutableSet<Term> literals
public Clause(ImmutableSet<Term> lits)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.util.Iterator<Term> iterator()
iterator
in interface java.lang.Iterable<Term>
public long cost()
public void firstRefine()
public ImmutableSet<Term> refine(java.lang.Iterable<? extends Term> assertLits)
public boolean selfRefine(ImmutableSet<Term> lits)
public java.lang.String toString()
toString
in class java.lang.Object