public class ArithmeticRuleExpression extends Object
Modifier and Type | Field and Description |
---|---|
protected List<SummationAtomOrAtom> |
atoms |
protected Coefficient |
c |
protected List<Coefficient> |
coeffs |
protected FunctionComparator |
comparator |
protected Set<SummationVariable> |
sumVars |
protected Set<Variable> |
vars |
Constructor and Description |
---|
ArithmeticRuleExpression(List<Coefficient> coeffs,
List<SummationAtomOrAtom> atoms,
FunctionComparator comparator,
Coefficient c) |
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.
|
Set<SummationVariable> |
getSummationVariables() |
Set<Variable> |
getVariables()
Get the non-summation variables.
|
String |
toString() |
protected final List<Coefficient> coeffs
protected final List<SummationAtomOrAtom> atoms
protected final FunctionComparator comparator
protected final Coefficient c
protected final Set<SummationVariable> sumVars
public ArithmeticRuleExpression(List<Coefficient> coeffs, List<SummationAtomOrAtom> atoms, FunctionComparator comparator, Coefficient c)
public List<Coefficient> getAtomCoefficients()
public List<SummationAtomOrAtom> getAtoms()
public FunctionComparator getComparator()
public Coefficient getFinalCoefficient()
public Set<SummationVariable> getSummationVariables()
public Formula getQueryFormula()
Copyright © 2018 University of California, Santa Cruz. All rights reserved.