public class ObservedAtom extends GroundAtom
GroundAtom
with a fixed truth value.
Circumstances that cause a GroundAtom to be instantiated as an ObservedAtom include
value
Constructor and Description |
---|
ObservedAtom(Predicate predicate,
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 |
---|---|
boolean |
isConstant()
Returns whether the term is constant.
|
collectVariables, compareTo, getArguments, getValue, isLinear, toStringWithValue
public boolean isConstant()
FunctionTerm
Copyright © 2020 University of California, Santa Cruz. All rights reserved.