| Constructor and Description |
|---|
UnionQueryAtom(List<List<QueryAtom>> union) |
UnionQueryAtom(List<QueryAtom> atoms1,
List<QueryAtom> atoms2) |
| 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.
|
QueryPredicate |
getPredicate()
Returns predicate of the query atom.
|
List<List<QueryAtom>> |
getUnion() |
int |
hashCode() |
boolean |
isGround() |
String |
toString() |
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.