public class CoreImpl extends QueryAtomImpl implements Core
Title: Implementation of the Core of undistinguished variables.
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
arguments, ground, predicate| Constructor and Description |
|---|
CoreImpl(List<aterm.ATermAppl> arguments,
Collection<aterm.ATermAppl> uv,
Collection<QueryAtom> atoms) |
| 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) |
Collection<aterm.ATermAppl> |
getConstants() |
Collection<aterm.ATermAppl> |
getDistVars() |
Collection<aterm.ATermAppl> |
getUndistVars() |
int |
hashCode() |
getArguments, getPredicate, isGround, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetArguments, getPredicate, isGroundpublic CoreImpl(List<aterm.ATermAppl> arguments, Collection<aterm.ATermAppl> uv, Collection<QueryAtom> atoms)
public Collection<aterm.ATermAppl> getConstants()
getConstants in interface Corepublic Collection<aterm.ATermAppl> getDistVars()
getDistVars in interface Corepublic Collection<aterm.ATermAppl> getUndistVars()
getUndistVars in interface Corepublic QueryAtom apply(ResultBinding binding)
QueryAtomImplapply in interface QueryAtomapply in class QueryAtomImplbinding - QueryBinding to applypublic int hashCode()
hashCode in class QueryAtomImplpublic boolean equals(Object obj)
equals in class QueryAtomImplCopyright © 2019. All rights reserved.