public interface AtomManager
GroundAtoms
that are instantiated from a Database
.
By wrapping Database.getAtom(Predicate, GroundTerm...)
,
an AtomManager gives additional control over the GroundAtoms that come from
that Database.
Additionally, AtomManagers can support other functionality that might require coordination by providing a single component to call to carry out tasks.
An AtomManager should be initialized with the Database for which it is managing Atoms.
Modifier and Type | Method and Description |
---|---|
ResultList |
executeQuery(DatabaseQuery query)
Calls
Database.executeQuery(DatabaseQuery) on the
encapsulated Database. |
GroundAtom |
getAtom(Predicate p,
GroundTerm... arguments)
Returns the GroundAtom for the given Predicate and GroundTerms.
|
boolean |
isClosed(StandardPredicate predicate)
Calls
Database.isClosed(StandardPredicate) on the
encapsulated Database. |
GroundAtom getAtom(Predicate p, GroundTerm... arguments)
This method must call Database.getAtom(Predicate, GroundTerm...)
to actually retrieve the GroundAtom.
p
- the Predicate of the Atomarguments
- the GroundTerms of the AtomResultList executeQuery(DatabaseQuery query)
Database.executeQuery(DatabaseQuery)
on the
encapsulated Database.query
- the query to executeboolean isClosed(StandardPredicate predicate)
Database.isClosed(StandardPredicate)
on the
encapsulated Database.predicate
- the predicate to check