public abstract class AbstractGroundArithmeticRule extends Object implements GroundRule
Modifier and Type | Field and Description |
---|---|
protected GroundAtom[] |
atoms |
protected double[] |
coeffs |
protected FunctionComparator |
comparator |
protected double |
constant |
protected AbstractArithmeticRule |
rule |
Modifier | Constructor and Description |
---|---|
protected |
AbstractGroundArithmeticRule(AbstractArithmeticRule rule,
double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double constant) |
protected |
AbstractGroundArithmeticRule(AbstractArithmeticRule rule,
double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double constant,
boolean copy) |
protected |
AbstractGroundArithmeticRule(AbstractArithmeticRule rule,
List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double constant) |
Modifier and Type | Method and Description |
---|---|
Set<GroundAtom> |
getAtoms() |
double[] |
getCoefficients() |
FunctionComparator |
getComparator() |
double |
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 double[] coeffs
protected final GroundAtom[] atoms
protected final FunctionComparator comparator
protected final double constant
protected AbstractGroundArithmeticRule(AbstractArithmeticRule rule, List<Double> coeffs, List<GroundAtom> atoms, FunctionComparator comparator, double constant)
protected AbstractGroundArithmeticRule(AbstractArithmeticRule rule, double[] coeffs, GroundAtom[] atoms, FunctionComparator comparator, double constant)
protected AbstractGroundArithmeticRule(AbstractArithmeticRule rule, double[] coeffs, GroundAtom[] atoms, FunctionComparator comparator, double 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 double[] getCoefficients()
public GroundAtom[] getOrderedAtoms()
public FunctionComparator getComparator()
public double getConstant()
Copyright © 2018 University of California, Santa Cruz. All rights reserved.