C# (CSharp) CharSetSolver.Deserialize 예제들

예제 #1

파일: IgnoreCaseTransformer.cs 프로젝트: AutomataDotNet/Automata

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

예제 #2

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

예제 #3

파일: IgnoreCaseTransformer.cs 프로젝트: NikolajBjorner/srm

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