public abstract class GroundAtom extends Atom implements Comparable<GroundAtom>, FunctionTerm
GroundTerms
for arguments.
A GroundAtom has a truth value.Modifier and Type | Field and Description |
---|---|
protected float |
value |
Modifier | Constructor and Description |
---|---|
protected |
GroundAtom(Predicate predicate,
Constant[] args,
float 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.
|
float |
getValue()
Returns the term's value
|
boolean |
isLinear()
Returns whether the term is linear.
|
String |
toStringWithValue() |
equals, flatten, getArity, getAtoms, getDNF, getPredicate, getVariables, hashCode, init, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
isConstant
public Constant[] getArguments()
Atom
getArguments
in class Atom
public float getValue()
FunctionTerm
getValue
in interface FunctionTerm
public boolean isLinear()
FunctionTerm
isLinear
in interface FunctionTerm
public String toStringWithValue()
public VariableTypeMap collectVariables(VariableTypeMap varMap)
Formula
Variables
collectVariables
in interface Formula
public int compareTo(GroundAtom other)
compareTo
in interface Comparable<GroundAtom>
Copyright © 2020 University of California, Santa Cruz. All rights reserved.