| 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.
|