public interface QuantifiedFormula extends ComplexLogicalFormula
Modifier and Type | Method and Description |
---|---|
boolean |
containsQuantifier()
Checks whether this formula contains any quantification.
|
SimpleLogicalFormula |
getFormula() |
java.util.Set<Variable> |
getQuantifierVariables() |
java.util.Set<Variable> |
getUnboundVariables() |
boolean |
isClosed()
Checks whether this formula is closed, i.e.
|
boolean |
isClosed(java.util.Set<Variable> boundVariables)
Checks whether this formula is closed, i.e.
|
boolean |
isWellBound()
Checks whether this formula is well-bound, i.e.
|
boolean |
isWellBound(java.util.Set<Variable> boundVariables)
Checks whether this formula is well-bound, i.e.
|
clone, exchange, isGround, isWellFormed, substitute, substitute
equals, getAtoms, getPredicateCls, getPredicates, hashCode, isLiteral
getSignature
containsTermsOfType, getTerms, getTerms
SimpleLogicalFormula getFormula()
java.util.Set<Variable> getQuantifierVariables()
java.util.Set<Variable> getUnboundVariables()
boolean containsQuantifier()
boolean isWellBound()
boolean isWellBound(java.util.Set<Variable> boundVariables)
boundVariables
- the variables assumed to be bound.boolean isClosed()
boolean isClosed(java.util.Set<Variable> boundVariables)
boundVariables
- the variables assumed to be bound.