public class UnweightedArithmeticRule extends AbstractArithmeticRule implements UnweightedRule
UnweightedGroundArithmeticRules
.CONFIG_PREFIX, delim, DELIM_DEFAULT, DELIM_KEY, 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(double[] coeffs,
GroundAtom[] atoms,
FunctionComparator comparator,
double c) |
protected UnweightedGroundArithmeticRule |
makeGroundRule(List<Double> coeffs,
List<GroundAtom> atoms,
FunctionComparator comparator,
double c) |
String |
toString() |
getBodyPredicates, getExpression, groundAll, groundNonSummationRule, hashCode, hasSummation, validateGroundRule
getName
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(double[] coeffs, GroundAtom[] atoms, FunctionComparator comparator, double c)
makeGroundRule
in class AbstractArithmeticRule
protected UnweightedGroundArithmeticRule makeGroundRule(List<Double> coeffs, List<GroundAtom> atoms, FunctionComparator comparator, double c)
makeGroundRule
in class AbstractArithmeticRule
public boolean isWeighted()
isWeighted
in interface Rule
public boolean equals(Object other)
equals
in class AbstractArithmeticRule
Copyright © 2018 University of California, Santa Cruz. All rights reserved.