| Constructor and Description |
|---|
NotKnownQueryAtom(List<QueryAtom> atoms) |
NotKnownQueryAtom(QueryAtom atom) |
| Modifier and Type | Method and Description |
|---|---|
QueryAtom |
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.
|
List<QueryAtom> |
getAtoms() |
QueryPredicate |
getPredicate()
Returns predicate of the query atom.
|
int |
hashCode() |
boolean |
isGround() |
String |
toString() |
public NotKnownQueryAtom(QueryAtom atom)
public QueryAtom apply(ResultBinding binding)
QueryAtompublic List<aterm.ATermAppl> getArguments()
getArguments in interface QueryAtompublic QueryPredicate getPredicate()
getPredicate in interface QueryAtompublic boolean isGround()
Copyright © 2019. All rights reserved.