public FunctionAlphaPos(Solver solver) { super(solver); Names.add(new LocalNames("AlphaPos", "en")); Names.add(new LocalNames("AP", "en")); }
public FunctionRot13(Solver solver) { super(solver); Names.add(new LocalNames("Rot13", "en")); }