public class ObservedAtom extends GroundAtom
GroundAtom
with a fixed truth value.
Circumstances that cause a GroundAtom to be instantiated as an ObservedAtom include
db, value
Modifier | Constructor and Description |
---|---|
protected |
ObservedAtom(Predicate p,
Constant[] args,
Database db,
double value) |
Modifier and Type | Method and Description |
---|---|
ConstantAtomFunctionVariable |
getVariable() |
collectVariables, compareTo, getArguments, getDatabase, getValue, toStringWithValue
public ConstantAtomFunctionVariable getVariable()
getVariable
in class GroundAtom
Copyright © 2018 University of California, Santa Cruz. All rights reserved.