-
Class Summary
| Class |
Description |
| LazyChecker |
Simple class to determine the average execution time (and std dev) of the CSTN(U) DC checking algorithm on a input set of CSTN(U)s.
|
| LazyChecker.GlobalStatisticKey |
Utility internal class
|
| LazyCSTN |
Simple class to represent and DC check Conditional Simple Temporal Network (CSTN) where the edge weight are signed integer or linear function of a common
symbolic parameter ∂.
|
| LazyCSTN.EdgesToCheck |
|
| LazyCSTN.LazyCSTNCheckStatus |
Simple class to represent the status of the checking algorithm during an execution.
|
-