Microsoft.Z3.Context.FailIfNotDecided C# (CSharp) Méthode

Create a tactic that fails if the goal is not triviall satisfiable (i.e., empty) or trivially unsatisfiable (i.e., contains `false').

public FailIfNotDecided ( ) : Microsoft.Z3.Tactic
Résultat	Microsoft.Z3.Tactic

        public Tactic FailIfNotDecided()
        {
            Contract.Ensures(Contract.Result<Tactic>() != null);

            return new Tactic(this, Native.Z3_tactic_fail_if_not_decided(nCtx));
        }

Microsoft.Z3.Context.FailIfNotDecided C# (CSharp) Méthode

FailIfNotDecided() public méthode