public class Cardinality extends Coefficient
SummationVariable
in a grounding.Modifier and Type | Field and Description |
---|---|
protected SummationVariable |
v |
Constructor and Description |
---|
Cardinality(SummationVariable v) |
Modifier and Type | Method and Description |
---|---|
SummationVariable |
getSummationVariable() |
double |
getValue(Map<SummationVariable,Integer> subs)
Get the value of a coefficient (which may require a reqursive descent).
|
Coefficient |
simplify()
Get a simplified version of this Coefficient, the Coefficient itself if it cannot be simplified further.
|
String |
toString() |
protected final SummationVariable v
public Cardinality(SummationVariable v)
public SummationVariable getSummationVariable()
public double getValue(Map<SummationVariable,Integer> subs)
Coefficient
getValue
in class Coefficient
public Coefficient simplify()
Coefficient
simplify
in class Coefficient
Copyright © 2018 University of California, Santa Cruz. All rights reserved.