public abstract class AbstractAtomSet extends Object implements AtomSet
Constructor and Description |
---|
AbstractAtomSet() |
Modifier and Type | Method and Description |
---|---|
boolean |
addAll(AtomSet atomset) |
boolean |
addAll(CloseableIterator<? extends Atom> it)
Add the specified atom stream to this atom set.
|
CloseableIterator<Constant> |
constantsIterator()
Returns an iterator over all constants in this atom set.
|
boolean |
contains(Atom atom)
Returns true if this atom set contains the specified atom.
|
boolean |
equals(AtomSet other) |
boolean |
equals(Object obj) |
Set<Constant> |
getConstants()
Returns a Set of all constants in this atom set.
|
Set<Literal> |
getLiterals()
Returns a Set of all literals in this atom set.
|
Set<Predicate> |
getPredicates()
Returns a Set of all predicates in this atom set.
|
Set<Term> |
getTerms()
Returns a Set of all terms in this atom set.
|
Set<Term> |
getTerms(Term.Type type)
Deprecated.
|
Set<Variable> |
getVariables()
Returns a Set of all variables in this atom set.
|
boolean |
isEmpty() |
boolean |
isSubSetOf(AtomSet atomset)
Deprecated.
|
CloseableIterator<Literal> |
literalsIterator()
Returns an iterator over all literals in this atom set.
|
boolean |
removeAll(AtomSet atomset) |
boolean |
removeAll(CloseableIterator<? extends Atom> it)
Remove the specified atom stream from this atom set.
|
String |
toString() |
CloseableIterator<Variable> |
variablesIterator()
Returns an iterator over all variables in this atom set.
|
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
add, atomsByPredicate, clear, getFreshSymbolGenerator, iterator, match, predicatesIterator, remove, termsByPredicatePosition, termsIterator, termsIterator
public boolean contains(Atom atom) throws AtomSetException
AtomSet
contains
in interface AtomSet
AtomSetException
public boolean addAll(CloseableIterator<? extends Atom> it) throws AtomSetException
AtomSet
addAll
in interface AtomSet
AtomSetException
public boolean addAll(AtomSet atomset) throws AtomSetException
addAll
in interface AtomSet
AtomSetException
public boolean removeAll(CloseableIterator<? extends Atom> it) throws AtomSetException
AtomSet
removeAll
in interface AtomSet
it
- - the atom stream to be removed.AtomSetException
public boolean removeAll(AtomSet atomset) throws AtomSetException
removeAll
in interface AtomSet
AtomSetException
public Set<Term> getTerms() throws AtomSetException
AtomSet
getTerms
in interface AtomSet
AtomSetException
public Set<Variable> getVariables() throws AtomSetException
AtomSet
getVariables
in interface AtomSet
AtomSetException
public Set<Constant> getConstants() throws AtomSetException
AtomSet
getConstants
in interface AtomSet
AtomSetException
public Set<Literal> getLiterals() throws AtomSetException
AtomSet
getLiterals
in interface AtomSet
AtomSetException
public CloseableIterator<Variable> variablesIterator() throws AtomSetException
AtomSet
variablesIterator
in interface AtomSet
AtomSetException
public CloseableIterator<Constant> constantsIterator() throws AtomSetException
AtomSet
constantsIterator
in interface AtomSet
AtomSetException
public CloseableIterator<Literal> literalsIterator() throws AtomSetException
AtomSet
literalsIterator
in interface AtomSet
AtomSetException
@Deprecated public Set<Term> getTerms(Term.Type type) throws AtomSetException
AtomSet
AtomSet.getVariables()
, AtomSet.getConstants()
or AtomSet.getLiterals()
instead.
getTerms
in interface AtomSet
AtomSetException
public Set<Predicate> getPredicates() throws AtomSetException
AtomSet
getPredicates
in interface AtomSet
AtomSetException
@Deprecated public boolean isSubSetOf(AtomSet atomset) throws AtomSetException
AtomSet
isSubSetOf
in interface AtomSet
AtomSetException
public boolean isEmpty() throws AtomSetException
isEmpty
in interface AtomSet
AtomSetException
public boolean equals(AtomSet other)
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.