| public HelperPredicates ( CharSetSolver solver, bool OptimzeForAsciiInput ) : System | ||
| solver | CharSetSolver | |
| OptimzeForAsciiInput | bool | |
| 리턴 | 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;
}