public AssertCmd(IToken/*!*/ tok, Expr/*!*/ expr, QKeyValue kv) : base(tok, expr, kv) { Contract.Requires(tok != null); Contract.Requires(expr != null); errorDataEnhanced = GenerateBoundVarMiningStrategy(expr); }
private string getMiningStrategyString(MiningStrategy miningStrategy) { switch (miningStrategy) { default: return("Random Block"); case MiningStrategy.Closest: return("Closest Block"); case MiningStrategy.MinValue: return("Lowest Value Block"); case MiningStrategy.MaxValue: return("Highest Value Block"); } return(null); }