public abstract class LogicStructure
extends java.lang.Object
Constructor and Description |
---|
LogicStructure() |
Modifier and Type | Method and Description |
---|---|
boolean |
containsFunctionalTerms()
Checks whether this structure contains any functional terms.
|
abstract java.util.Set<Constant> |
getConstants()
Returns all constants that appear in this structure.
|
abstract java.util.Set<FunctionalTerm> |
getFunctionalTerms()
Returns all functional terms that appear in this structure.
|
abstract java.util.Set<Functor> |
getFunctors()
Returns all functors that appear in this structure.
|
abstract java.util.Set<Variable> |
getVariables()
Returns all variables that appear in this structure.
|
abstract java.lang.String |
toString() |
public abstract java.util.Set<Constant> getConstants()
public abstract java.util.Set<Functor> getFunctors()
public abstract java.util.Set<Variable> getVariables()
public abstract java.util.Set<FunctionalTerm> getFunctionalTerms()
public boolean containsFunctionalTerms()
public abstract java.lang.String toString()
toString
in class java.lang.Object