| Modifier and Type | Field and Description |
|---|---|
protected List<aterm.ATermAppl> |
arguments |
protected boolean |
ground |
protected QueryPredicate |
predicate |
| Constructor and Description |
|---|
QueryAtomImpl(QueryPredicate predicate,
aterm.ATermAppl... arguments) |
QueryAtomImpl(QueryPredicate predicate,
List<aterm.ATermAppl> arguments) |
| 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.
|
int |
hashCode() |
boolean |
isGround() |
String |
toString() |
protected final QueryPredicate predicate
protected final List<aterm.ATermAppl> arguments
protected boolean ground
public QueryAtomImpl(QueryPredicate predicate, aterm.ATermAppl... arguments)
public QueryAtomImpl(QueryPredicate predicate, List<aterm.ATermAppl> arguments)
public QueryPredicate getPredicate()
getPredicate in interface QueryAtompublic List<aterm.ATermAppl> getArguments()
getArguments in interface QueryAtompublic boolean isGround()
public QueryAtom apply(ResultBinding binding)
Copyright © 2019. All rights reserved.