Exemplo n.º 1
0
 public AssertCmd(IToken/*!*/ tok, Expr/*!*/ expr, QKeyValue kv)
     : base(tok, expr, kv)
 {
     Contract.Requires(tok != null);
       Contract.Requires(expr != null);
       errorDataEnhanced = GenerateBoundVarMiningStrategy(expr);
 }
Exemplo n.º 2
0
    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);
    }