public IgnoreCaseTransformer(CharSetSolver charSetSolver) { this.solver = charSetSolver; IgnoreCaseRel = charSetSolver.Deserialize(Microsoft.Automata.Internal.Generated.IgnoreCaseRelation.ignorecase); domain = IgnoreCaseRel.ShiftRight(16); }
public IgnoreCaseTransformer(CharSetSolver charSetSolver) { this.solver = charSetSolver; IgnoreCaseRel = charSetSolver.Deserialize(Microsoft.Automata.Generated.IgnoreCaseRelation.ignorecase); domain = IgnoreCaseRel >> 16; }