Searched defs:texCode (Results 1 – 1 of 1) sorted by relevance
209 String texCode; field in ConvertTeXPattern.TransformationData210 TransformationData(File outFile, String texCode) { in TransformationData()239 private static String[] mapCode(String texCode) throws CodeMappingException { in mapCode()