encode_resilience_condition

taco_smt_encoder::expression_encoding::ta_encoding

Function encode_resilience_condition 

Source 
pub fn encode_resilience_condition<TA, C>(
    ta: &TA,
    solver: &SMTSolver,
    ctx: &C,
) -> SMTExpr
where
    TA: ThresholdAutomaton,
    C: SMTVariableContext<Parameter>,
Expand description

Encode the resilience conditions of a threshold automaton into an SMT expression and return it