public class ArithmeticRuleExpression extends Object
Modifier and Type | Field and Description |
---|---|
protected List<SummationAtomOrAtom> |
atoms |
protected List<Coefficient> |
coefficients |
protected FunctionComparator |
comparator |
protected Coefficient |
constant |
protected Map<SummationVariable,SummationAtom> |
summationMapping |
protected Set<Variable> |
vars |
Constructor and Description |
---|
ArithmeticRuleExpression(List<Coefficient> coefficients,
List<SummationAtomOrAtom> atoms,
FunctionComparator comparator,
Coefficient constant) |
ArithmeticRuleExpression(List<Coefficient> coefficients,
List<SummationAtomOrAtom> atoms,
FunctionComparator comparator,
Coefficient constant,
boolean skipCardinalityValidation) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object other) |
List<Coefficient> |
getAtomCoefficients() |
List<SummationAtomOrAtom> |
getAtoms() |
FunctionComparator |
getComparator() |
Coefficient |
getFinalCoefficient() |
Formula |
getQueryFormula()
Get a formula that can be used in a DatabaseQuery to fetch all the possibilites.
|
Map<SummationVariable,SummationAtom> |
getSummationMapping() |
Set<SummationVariable> |
getSummationVariables() |
Set<Variable> |
getVariables()
Get the non-summation variables.
|
int |
hashCode() |
boolean |
looksLikeNegativePrior() |
String |
toString() |
protected final List<Coefficient> coefficients
protected final List<SummationAtomOrAtom> atoms
protected final FunctionComparator comparator
protected final Coefficient constant
protected final Map<SummationVariable,SummationAtom> summationMapping
public ArithmeticRuleExpression(List<Coefficient> coefficients, List<SummationAtomOrAtom> atoms, FunctionComparator comparator, Coefficient constant)
public ArithmeticRuleExpression(List<Coefficient> coefficients, List<SummationAtomOrAtom> atoms, FunctionComparator comparator, Coefficient constant, boolean skipCardinalityValidation)
public List<Coefficient> getAtomCoefficients()
public List<SummationAtomOrAtom> getAtoms()
public FunctionComparator getComparator()
public Coefficient getFinalCoefficient()
public Set<SummationVariable> getSummationVariables()
public Map<SummationVariable,SummationAtom> getSummationMapping()
public boolean looksLikeNegativePrior()
public Formula getQueryFormula()
Copyright © 2020 University of California, Santa Cruz. All rights reserved.