public class UnweightedArithmeticRule extends AbstractArithmeticRule implements UnweightedRule
UnweightedGroundArithmeticRules
.expression, filters
name
Constructor and Description |
---|
UnweightedArithmeticRule(ArithmeticRuleExpression expression) |
UnweightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses) |
UnweightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
String name) |
UnweightedArithmeticRule(ArithmeticRuleExpression expression,
String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other) |
boolean |
isWeighted() |
protected UnweightedGroundArithmeticRule |
makeGroundRule(float[] coefficients,
GroundAtom[] atoms,
FunctionComparator comparator,
float constant) |
protected UnweightedGroundArithmeticRule |
makeGroundRule(List<Float> coefficients,
List<GroundAtom> atoms,
FunctionComparator comparator,
float constant) |
String |
toString() |
getBodyPredicates, getExpression, getGroundingQuery, getRewritableGroundingFormula, ground, groundAll, hashCode, hasSummation, requiresSplit, split, supportsGroundingQueryRewriting, supportsIndividualGrounding
getName
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGroundingQuery, getName, getRewritableGroundingFormula, ground, groundAll, requiresSplit, split, supportsGroundingQueryRewriting, supportsIndividualGrounding
public UnweightedArithmeticRule(ArithmeticRuleExpression expression)
public UnweightedArithmeticRule(ArithmeticRuleExpression expression, String name)
public UnweightedArithmeticRule(ArithmeticRuleExpression expression, Map<SummationVariable,Formula> filterClauses)
public UnweightedArithmeticRule(ArithmeticRuleExpression expression, Map<SummationVariable,Formula> filterClauses, String name)
protected UnweightedGroundArithmeticRule makeGroundRule(float[] coefficients, GroundAtom[] atoms, FunctionComparator comparator, float constant)
makeGroundRule
in class AbstractArithmeticRule
protected UnweightedGroundArithmeticRule makeGroundRule(List<Float> coefficients, List<GroundAtom> atoms, FunctionComparator comparator, float constant)
makeGroundRule
in class AbstractArithmeticRule
public boolean isWeighted()
isWeighted
in interface Rule
public boolean equals(Object other)
equals
in class AbstractArithmeticRule
Copyright © 2020 University of California, Santa Cruz. All rights reserved.