Package | Description |
---|---|
spdfcore.stanalys |
package contains classes to build the
solutions for balance equations of a graph and perform safety,
liveness analysis, consistency check etc.
|
Modifier and Type | Field and Description |
---|---|
private DivisorSet |
Expression.divisors
lookup table from factor to its power:
|
Modifier and Type | Method and Description |
---|---|
private DivisorSet |
Expression.getDivisors() |
static DivisorSet |
PrimeDivisorSet.getDivisorSet(int num) |
Modifier and Type | Method and Description |
---|---|
void |
DivisorSet.incrPowerWith(DivisorSet otherDivisorSet) |
void |
DivisorSet.incrPowerWith(DivisorSet otherDivisorSet,
boolean negative) |
void |
DivisorSet.intersectionWith(DivisorSet otherDivisorSet) |
Constructor and Description |
---|
Expression(DivisorSet divisors) |