public abstract class AbstractGroundArithmeticRule extends Object implements GroundRule
Modifier and Type | Field and Description |
---|---|
protected GroundAtom[] |
atoms |
protected float[] |
coefficients |
protected FunctionComparator |
comparator |
protected float |
constant |
protected AbstractArithmeticRule |
rule |
Modifier | Constructor and Description |
---|---|
protected |
AbstractGroundArithmeticRule(AbstractArithmeticRule rule,
float[] coefficients,
GroundAtom[] atoms,
FunctionComparator comparator,
float constant) |
protected |
AbstractGroundArithmeticRule(AbstractArithmeticRule rule,
float[] coefficients,
GroundAtom[] atoms,
FunctionComparator comparator,
float constant,
boolean copy) |
protected |
AbstractGroundArithmeticRule(AbstractArithmeticRule rule,
List<Float> coefficients,
List<GroundAtom> atoms,
FunctionComparator comparator,
float constant) |
Modifier and Type | Method and Description |
---|---|
String |
baseToString()
Get a to string for the base of the rule without weight or square.
|
Set<GroundAtom> |
getAtoms() |
float[] |
getCoefficients() |
FunctionComparator |
getComparator() |
float |
getConstant() |
GroundAtom[] |
getOrderedAtoms() |
Rule |
getRule() |
List<GroundRule> |
negate()
Negate this ground rule and get the corresponding ground rule(s).
|
String |
toString() |
protected final AbstractArithmeticRule rule
protected final float[] coefficients
protected final GroundAtom[] atoms
protected final FunctionComparator comparator
protected final float constant
protected AbstractGroundArithmeticRule(AbstractArithmeticRule rule, List<Float> coefficients, List<GroundAtom> atoms, FunctionComparator comparator, float constant)
protected AbstractGroundArithmeticRule(AbstractArithmeticRule rule, float[] coefficients, GroundAtom[] atoms, FunctionComparator comparator, float constant)
protected AbstractGroundArithmeticRule(AbstractArithmeticRule rule, float[] coefficients, GroundAtom[] atoms, FunctionComparator comparator, float constant, boolean copy)
public Rule getRule()
getRule
in interface GroundRule
Rule
public Set<GroundAtom> getAtoms()
getAtoms
in interface GroundRule
GroundAtoms
which determine this
GroundRule's incompatibility or infeasibilitypublic List<GroundRule> negate()
GroundRule
negate
in interface GroundRule
public String baseToString()
GroundRule
baseToString
in interface GroundRule
public float[] getCoefficients()
public GroundAtom[] getOrderedAtoms()
public FunctionComparator getComparator()
public float getConstant()
Copyright © 2020 University of California, Santa Cruz. All rights reserved.