specless
specless
specless
specless.api
specless.automaton
specless.cli
specless.const
specless.dataset
specless.factory
specless.inference
Inference Algorithm
specless.inference.base
specless.inference.edsm
specless.inference.partial_order
specless.inference.timed_partial_order
Inference Algorithm
specless.inference.timed_partial_order.PostProcessingFunc
specless.inference.timed_partial_order.TPOInferenceAlgorithm
specless.inference.timed_partial_order.TimeConstraintsLP
specless.io
specless.minigrid
specless.parser
specless.specification
specless.strategy
specless.synthesis
specless.tsp
specless.typing
specless.utils
specless.wrapper
specless
specless
specless.inference
specless.inference.timed_partial_order
specless.inference.timed_partial_order.PostProcessingFunc
View page source
specless.inference.timed_partial_order.PostProcessingFunc
class
specless.inference.timed_partial_order.
PostProcessingFunc
(
partial_order
)
[source]
Bases:
object
Post Processing Function Class
Methods
__call__
(
lp
,
source_event
,
target_event
,
redundant
,
lb
,
ub
,
*
args
,
**
kwargs
)
[source]
Post processing function call