T
- The type of the formulas which are quantified.public class QuantifiedFormulaSupport<T extends RelationalFormula>
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private T |
innerFormula
The formula this quantified formula ranges over.
|
private java.util.Set<Variable> |
quantifier_variables
The variables of this quantified folFormula.
|
Constructor and Description |
---|
QuantifiedFormulaSupport(T formula,
java.util.Set<Variable> variables) |
Modifier and Type | Method and Description |
---|---|
boolean |
containsQuantifier() |
java.util.Set<? extends Atom> |
getAtoms() |
T |
getFormula()
Returns the folFormula this quantified formula ranges over
|
java.util.Set<Functor> |
getFunctors() |
java.util.Set<? extends Predicate> |
getPredicates() |
java.util.Set<Variable> |
getQuantifierVariables()
Returns the variables of this quantified formula.
|
java.util.Set<Term<?>> |
getTerms() |
<C extends Term<?>> |
getTerms(java.lang.Class<C> cls) |
java.util.Set<Variable> |
getUnboundVariables() |
int |
hashCode() |
boolean |
isClosed() |
boolean |
isClosed(java.util.Set<Variable> boundVariables) |
boolean |
isDnf() |
boolean |
isLiteral() |
boolean |
isWellBound() |
boolean |
isWellBound(java.util.Set<Variable> boundVariables) |
void |
setFormula(T formula) |
void |
setQuantifierVariables(java.util.Set<Variable> variables) |
private T extends RelationalFormula innerFormula
private java.util.Set<Variable> quantifier_variables
public T getFormula()
public java.util.Set<Variable> getQuantifierVariables()
public void setFormula(T formula)
public void setQuantifierVariables(java.util.Set<Variable> variables)
public boolean isClosed()
public boolean isClosed(java.util.Set<Variable> boundVariables)
public boolean containsQuantifier()
public boolean isWellBound()
public boolean isWellBound(java.util.Set<Variable> boundVariables)
public java.util.Set<? extends Predicate> getPredicates()
public java.util.Set<Functor> getFunctors()
public java.util.Set<? extends Atom> getAtoms()
public java.util.Set<Variable> getUnboundVariables()
public boolean isDnf()
public boolean isLiteral()
public java.util.Set<Term<?>> getTerms()
public <C extends Term<?>> java.util.Set<C> getTerms(java.lang.Class<C> cls)
public int hashCode()
hashCode
in class java.lang.Object