Package | Description |
---|---|
ptolemy.data.type |
The type system.
|
ptolemy.graph |
Algorithms for manipulation and analyzing mathematical graphs.
|
Modifier and Type | Method and Description |
---|---|
static CPO |
TypeLattice.basicLattice()
Return the an instance of CPO representing the basic type
lattice.
|
static CPO |
TypeLattice.lattice()
Return the an instance of CPO representing the infinite type
lattice.
|
Modifier and Type | Class and Description |
---|---|
class |
DirectedAcyclicGraph
A directed acyclic graph (DAG).
|
Modifier and Type | Method and Description |
---|---|
boolean |
Inequality.isSatisfied(CPO cpo)
Test if this inequality is satisfied with the current value
of variables.
|
Constructor and Description |
---|
InequalitySolver(CPO cpo)
Construct an inequality solver.
|