initialize_zcs_model_checker

taco_cli::cli

Function initialize_zcs_model_checker 

Source 
pub(crate) fn initialize_zcs_model_checker(
    mc_cfg: Option<SymbolicModelCheckerHeuristics>,
    ta: GeneralThresholdAutomaton,
    spec: ELTLSpecification,
    cfg: TACOConfig,
) -> ZCSModelChecker
Expand description

Initialize the symbolic model checker with the given options, threshold automaton and specifications