public abstract class AbstractAtom extends Object implements Atom
Constructor and Description |
---|
AbstractAtom() |
Modifier and Type | Method and Description |
---|---|
void |
appendTo(StringBuilder sb) |
int |
compareTo(Atom other) |
boolean |
equals(Object obj)
Verifies if two atoms are equivalent or not.
|
Set<Constant> |
getConstants()
Get all constants that appear is this atom.
|
Set<Literal> |
getLiterals()
Get all literals that appear is this atom.
|
Set<Variable> |
getVariables()
Get all variables that appear is this atom.
|
int |
hashCode() |
Iterator<Term> |
iterator()
Return an Iterator of Term.
|
String |
toString()
Returns a string in the form p(t1,...,tk)
|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
contains, getPredicate, getTerm, getTerms, getTerms, indexesOf, indexOf, setPredicate, setTerm
forEach, spliterator
public Set<Constant> getConstants()
Atom
getConstants
in interface Atom
public Set<Variable> getVariables()
Atom
getVariables
in interface Atom
public Set<Literal> getLiterals()
Atom
getLiterals
in interface Atom
public boolean equals(Object obj)
public int compareTo(Atom other)
compareTo
in interface Comparable<Atom>
public String toString()
public void appendTo(StringBuilder sb)
appendTo
in interface AppendableToStringBuilder
sb
- Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.