Modifier and Type | Method and Description |
---|---|
Constant[] |
ResultList.get(int index)
Returns a substitution for all
Variables . |
Constant |
ResultList.get(int index,
Variable var)
Returns a substitution for a single
Variable |
Modifier and Type | Method and Description |
---|---|
GroundAtom |
ReadableDatabase.getAtom(Predicate predicate,
Constant... arguments)
Returns the GroundAtom for the given Predicate and GroundTerms.
|
abstract GroundAtom |
Database.getAtom(StandardPredicate predicate,
boolean create,
Constant... arguments) |
boolean |
ReadableDatabase.hasAtom(StandardPredicate predicate,
Constant... arguments)
Check to see if a ground atom exists in the database.
|
boolean |
Database.hasAtom(StandardPredicate predicate,
Constant... arguments) |
boolean |
Database.hasCachedAtom(StandardPredicate predicate,
Constant... arguments) |
Modifier and Type | Method and Description |
---|---|
abstract GroundAtom |
AtomManager.getAtom(Predicate predicate,
Constant... arguments)
Returns the GroundAtom for the given Predicate and GroundTerms.
|
GroundAtom |
LazyAtomManager.getAtom(Predicate predicate,
Constant... arguments) |
GroundAtom |
SimpleAtomManager.getAtom(Predicate predicate,
Constant... arguments) |
GroundAtom |
PersistedAtomManager.getAtom(Predicate predicate,
Constant... arguments) |
ObservedAtom |
AtomCache.instantiateObservedAtom(Predicate predicate,
Constant[] args,
float value)
Instantiates an ObservedAtom and stores it in this AtomCache.
|
RandomVariableAtom |
AtomCache.instantiateRandomVariableAtom(StandardPredicate predicate,
Constant[] args,
float value)
Instantiates a RandomVariableAtom and stores it in this AtomCache.
|
Modifier and Type | Method and Description |
---|---|
Constant[] |
RDBMSResultList.get(int index) |
Constant |
RDBMSResultList.get(int index,
Variable var) |
Modifier and Type | Method and Description |
---|---|
void |
RDBMSResultList.addResult(Constant[] res) |
GroundAtom |
RDBMSDatabase.getAtom(Predicate predicate,
Constant... arguments) |
GroundAtom |
RDBMSDatabase.getAtom(StandardPredicate predicate,
boolean create,
Constant... arguments) |
Modifier and Type | Method and Description |
---|---|
Constant[] |
GroundAtom.getArguments() |
Modifier and Type | Method and Description |
---|---|
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap,
Constant[] newArgs) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap,
Constant[] newArgs) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap,
Constant[] newArgs,
boolean checkDBCache) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
Constant[] queryResults,
Map<Variable,Integer> projectionMap,
Constant[] newArgs,
boolean checkDBCache) |
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
ResultList res,
int resultIndex,
Constant[] newArgs)
Ground using the passed in buffer.
|
GroundAtom |
QueryAtom.ground(AtomManager atomManager,
ResultList res,
int resultIndex,
Constant[] newArgs,
boolean checkDBCache) |
Constructor and Description |
---|
GroundAtom(Predicate predicate,
Constant[] args,
float value) |
ObservedAtom(Predicate predicate,
Constant[] args,
float value)
Instantiation of GrondAtoms should typically be left to the Database so it can maintain a cache.
|
RandomVariableAtom(StandardPredicate p,
Constant[] args,
float value)
Instantiation of GrondAtoms should typically be left to the Database so it can maintain a cache.
|
Modifier and Type | Method and Description |
---|---|
double |
ExternalFunction.getValue(ReadableDatabase db,
Constant... args) |
Modifier and Type | Method and Description |
---|---|
double |
ExternalFunctionalPredicate.computeValue(ReadableDatabase db,
Constant... args) |
abstract double |
FunctionalPredicate.computeValue(ReadableDatabase db,
Constant... args)
Computes the truth value of this Predicate with the given arguments.
|
Modifier and Type | Method and Description |
---|---|
void |
Rule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results)
Get the formual that we can use for grounding.
|
Modifier and Type | Method and Description |
---|---|
void |
AbstractArithmeticRule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results) |
Modifier and Type | Method and Description |
---|---|
void |
AbstractLogicalRule.ground(Constant[] constants,
Map<Variable,Integer> variableMap,
AtomManager atomManager,
List<GroundRule> results) |
Modifier and Type | Class and Description |
---|---|
class |
Attribute
A
Constant that is a value, as opposed to a unique identifier. |
class |
DoubleAttribute
An
Attribute that encapsulates a Double. |
class |
IntegerAttribute
An
Attribute that encapsulates an Integer. |
class |
LongAttribute
An
Attribute that encapsulates a Double. |
class |
StringAttribute
An
Attribute that encapsulates a String. |
class |
UniqueIntID |
class |
UniqueStringID |
Modifier and Type | Method and Description |
---|---|
static Constant |
ConstantType.getConstant(String value,
ConstantType type)
Convert a general string into the appropriate Constant.
|
Modifier and Type | Method and Description |
---|---|
static ConstantType |
ConstantType.getType(Constant term) |
abstract boolean |
ConstantType.isInstance(Constant term)
Returns whether a GroundTerm is of the type identified by this ArgumentType
|
Copyright © 2020 University of California, Santa Cruz. All rights reserved.