public static string GetSymbolFor(ELogicalOperators operatorKey)
{
string symbol;
LogicalOperators.operators.TryGetValue(operatorKey, out symbol);
return(symbol);
}
public static BoolExpr GetSpec(ELogicalOperators opr, BoolExpr arg_1, BoolExpr arg_2, Context ctx)
{
switch (opr)
{
case (ELogicalOperators.AND):
return(ctx.MkAnd(new BoolExpr[] { arg_1, arg_2 }));
case (ELogicalOperators.OR):
return(ctx.MkOr(new BoolExpr[] { arg_1, arg_2 }));
case (ELogicalOperators.NOT):
return(ctx.MkNot(arg_1));
case (ELogicalOperators.BiIMP):
return(ctx.MkEq(arg_1, arg_2));
}
return(null);
}
