public abstract class UnaryAtom<A extends AtomObject> extends RuleAtomImpl<aterm.ATermAppl>
Title: Unary Atom
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Constructor and Description |
|---|
UnaryAtom(aterm.ATermAppl predicate,
A argument) |
| Modifier and Type | Method and Description |
|---|---|
List<A> |
getAllArguments()
Return all arguments (constants and variables) to the rule atom.
|
A |
getArgument() |
String |
toString() |
accept, equals, getPredicate, hashCodepublic UnaryAtom(aterm.ATermAppl predicate,
A argument)
public List<A> getAllArguments()
RuleAtomgetAllArguments in interface RuleAtomgetAllArguments in class RuleAtomImpl<aterm.ATermAppl>public A getArgument()
Copyright © 2019. All rights reserved.