public abstract class GroundAtom extends Atom implements Comparable<GroundAtom>
GroundTerms
for arguments.
A GroundAtom has a truth value.Modifier and Type | Field and Description |
---|---|
protected Database |
db |
protected double |
value |
Modifier | Constructor and Description |
---|---|
protected |
GroundAtom(Predicate predicate,
Constant[] args,
Database db,
double value) |
Modifier and Type | Method and Description |
---|---|
VariableTypeMap |
collectVariables(VariableTypeMap varMap)
Adds the
Variables |
int |
compareTo(GroundAtom other)
First order by value (descending), the predicate name (natural),
and then the arguments (in order).
|
Constant[] |
getArguments()
Returns the arguments associated with this atom.
|
Database |
getDatabase() |
double |
getValue() |
abstract AtomFunctionVariable |
getVariable() |
String |
toStringWithValue() |
protected final Database db
protected double value
public Database getDatabase()
public Constant[] getArguments()
Atom
getArguments
in class Atom
public double getValue()
public String toStringWithValue()
public abstract AtomFunctionVariable getVariable()
public VariableTypeMap collectVariables(VariableTypeMap varMap)
Formula
Variables
collectVariables
in interface Formula
public int compareTo(GroundAtom other)
compareTo
in interface Comparable<GroundAtom>
Copyright © 2018 University of California, Santa Cruz. All rights reserved.