Interface | Description |
---|---|
DataStore |
Makes
GroundAtoms available via Databases . |
QueryResultIterable | |
ReadableDatabase |
A database for retrieving
GroundAtoms . |
ResultList | |
WritableDatabase |
A database for persisting
GroundAtoms . |
Class | Description |
---|---|
Database |
A data model for retrieving and persisting
GroundAtoms . |
DatabaseQuery |
A query to select groundings from a
Database . |
Partition |
Copyright © 2020 University of California, Santa Cruz. All rights reserved.