| Constructor and Description |
|---|
CoreNewImpl(Collection<QueryAtom> atoms,
Collection<aterm.ATermAppl> uv,
KnowledgeBase kb) |
| Modifier and Type | Method and Description |
|---|---|
CoreNewImpl |
apply(ResultBinding binding)
Applies variable binding to the current atom and returns the result which
might be same as the current atom.
|
boolean |
equals(Object obj) |
List<aterm.ATermAppl> |
getArguments()
Returns arguments of the atom.
|
Set<aterm.ATermAppl> |
getConstants() |
Set<aterm.ATermAppl> |
getDistVars() |
QueryPredicate |
getPredicate()
Returns predicate of the query atom.
|
Query |
getQuery() |
Set<aterm.ATermAppl> |
getUndistVars() |
int |
hashCode() |
boolean |
isGround() |
String |
toString() |
public CoreNewImpl(Collection<QueryAtom> atoms, Collection<aterm.ATermAppl> uv, KnowledgeBase kb)
public CoreNewImpl apply(ResultBinding binding)
public Set<aterm.ATermAppl> getConstants()
getConstants in interface Corepublic Set<aterm.ATermAppl> getDistVars()
getDistVars in interface Corepublic Set<aterm.ATermAppl> getUndistVars()
getUndistVars in interface Corepublic List<aterm.ATermAppl> getArguments()
QueryAtomgetArguments in interface QueryAtompublic QueryPredicate getPredicate()
QueryAtomgetPredicate in interface QueryAtompublic Query getQuery()
public boolean isGround()
Copyright © 2019. All rights reserved.