public interface Atom extends Comparable<Atom>, Iterable<Term>, AppendableToStringBuilder
Modifier and Type | Method and Description |
---|---|
boolean |
contains(Term t)
Returns true if the term list contains the specified term.
|
Set<Constant> |
getConstants()
Get all constants that appear is this atom.
|
Set<Literal> |
getLiterals()
Get all literals that appear is this atom.
|
Predicate |
getPredicate()
Get the Predicate of this Atom.
|
Term |
getTerm(int index)
Get the nth term of this Atom.
|
List<Term> |
getTerms()
Get an ordered List that represents the terms of this Atom.
|
Collection<Term> |
getTerms(Term.Type type)
Deprecated.
|
Set<Variable> |
getVariables()
Get all variables that appear is this atom.
|
int[] |
indexesOf(Term term)
Returns the indexes of a given term in the atom.
|
int |
indexOf(Term t)
Returns the index of the first occurrence of the specified term in the
term list of this atom, or -1 if this atom does not contain the term.
|
Iterator<Term> |
iterator()
Return an Iterator of Term.
|
void |
setPredicate(Predicate predicate)
Set the Predicate of this Atom.
|
void |
setTerm(int index,
Term term)
Set the nth term of this Atom.
|
compareTo
forEach, spliterator
appendTo
void setPredicate(Predicate predicate)
predicate
- Predicate getPredicate()
void setTerm(int index, Term term)
index
- term
- Term getTerm(int index)
index
- int indexOf(Term t)
t
- term to search forint[] indexesOf(Term term)
term
- boolean contains(Term t)
t
- List<Term> getTerms()
@Deprecated Collection<Term> getTerms(Term.Type type)
getConstants()
and getVariables()
instead. type
- Set<Variable> getVariables()
Set<Constant> getConstants()
Set<Literal> getLiterals()
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.