Uses of Class
org.processmining.earthmoversstochasticconformancechecking.helperclasses.SymbolicNumber

Packages that use SymbolicNumber

Package	Description
org.processmining.earthmoversstochasticconformancechecking.helperclasses
org.processmining.earthmoversstochasticconformancechecking.stochasticlanguage.partialorder

Uses of SymbolicNumber in org.processmining.earthmoversstochasticconformancechecking.helperclasses

Methods in org.processmining.earthmoversstochasticconformancechecking.helperclasses that return SymbolicNumber

Modifier and Type	Method	Description
SymbolicNumber	SymbolicNumber.add(SymbolicNumber n)
SymbolicNumber	SymbolicNumber.divide(SymbolicNumber by)
SymbolicNumber	SymbolicNumber.factorial()
SymbolicNumber	SymbolicNumber.multiply(SymbolicNumber with)
static SymbolicNumber	SymbolicNumber.NaN(java.lang.String string)

Methods in org.processmining.earthmoversstochasticconformancechecking.helperclasses with parameters of type SymbolicNumber

Modifier and Type	Method	Description
SymbolicNumber	SymbolicNumber.add(SymbolicNumber n)
SymbolicNumber	SymbolicNumber.divide(SymbolicNumber by)
SymbolicNumber	SymbolicNumber.multiply(SymbolicNumber with)

Uses of SymbolicNumber in org.processmining.earthmoversstochasticconformancechecking.stochasticlanguage.partialorder

Methods in org.processmining.earthmoversstochasticconformancechecking.stochasticlanguage.partialorder that return SymbolicNumber

Modifier and Type	Method	Description
static SymbolicNumber	PartialOrderCountTotalOrders.count(int[] partialOrder, int maxBaseCase, org.processmining.framework.plugin.ProMCanceller canceller)
static SymbolicNumber	PartialOrderCountTotalOrders.countBaseCase(int[] partialOrder, int maxBaseCase, org.processmining.framework.plugin.ProMCanceller canceller)
static SymbolicNumber	PartialOrderCountTotalOrders.countSequence(int[] partialOrder, gnu.trove.list.TIntList[] partition, int maxBaseCase, org.processmining.framework.plugin.ProMCanceller canceller)
static SymbolicNumber	PartialOrderCountTotalOrders.countXor(int[] partialOrder, gnu.trove.list.TIntList[] partition, int maxBaseCase, org.processmining.framework.plugin.ProMCanceller canceller)