예제 #1
0
 public FunctionAlphaPos(Solver solver) {
   super(solver);
   Names.add(new LocalNames("AlphaPos", "en"));
   Names.add(new LocalNames("AP", "en"));
 }
예제 #2
0
 public FunctionRot13(Solver solver) {
   super(solver);
   Names.add(new LocalNames("Rot13", "en"));
 }