specless.inference.timed_partial_order

Inference Algorithm

Inference algorithms then use such demonstrations to come up with a specification.

Examples

>>> import specless as sl
>>> demonstrations: list = [
...     [[1, "a"], [2, "b"], [3, "c"]],
...     [[4, "d"], [5, "e"], [6, "f"]],
... ]
>>> inference = sl.TPOInferenceAlgorithm()
>>> specification = inference.infer(demonstrations)

Classes

`PostProcessingFunc`	Post Processing Function Class
`TPOInferenceAlgorithm`	The inference algorithm for inferring a TPO from a list of TimedTraces.
`TimeConstraintsLP`	Handle Time Constraints Operation for Linear Programming