AbstractArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
String name) |
UnweightedArithmeticRule(ArithmeticRuleExpression expression) |
UnweightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses) |
UnweightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
String name) |
UnweightedArithmeticRule(ArithmeticRuleExpression expression,
String name) |
WeightedArithmeticRule(ArithmeticRuleExpression expression,
double weight,
boolean squared) |
WeightedArithmeticRule(ArithmeticRuleExpression expression,
double weight,
boolean squared,
String name) |
WeightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
double weight,
boolean squared) |
WeightedArithmeticRule(ArithmeticRuleExpression expression,
Map<SummationVariable,Formula> filterClauses,
double weight,
boolean squared,
String name) |