public HelperPredicates ( CharSetSolver solver, bool OptimzeForAsciiInput ) : System | ||
solver | CharSetSolver | |
OptimzeForAsciiInput | bool | |
return | System |
public HelperPredicates(CharSetSolver solver, bool OptimzeForAsciiInput)
{
this.solver = solver;
helper_predicates = new List<string>();
predicate_cache = new Dictionary<BDD, string>();
ascii = solver.MkRangeConstraint('\0', '\x7F');
this.OptimzeForASCIIinput = OptimzeForAsciiInput;
}