czt.zxml.ast
Class AxPara_Unparsed
java.lang.Object
|
+--zeta.util.Term
|
+--czt.zxml.ast.Para
|
+--czt.zxml.ast.AxPara
|
+--czt.zxml.ast.AxPara_Unparsed
- All Implemented Interfaces:
- java.lang.Cloneable, zeta.format.Formattable, java.io.Serializable, Unparsed
- public class AxPara_Unparsed
- extends AxPara
- implements Unparsed
- See Also:
- Serialized Form
| Fields inherited from class czt.zxml.ast.AxPara |
Box, Box_AxBox, Box_default, Box_Default, Box_max, Box_min, Box_names, Box_OmitBox, Box_SchBox, Params, Params_default, Params_Default, Params_max, Params_min, Params_Mixfix, Params_names, Params_Square |
| Fields inherited from class zeta.util.Term |
interned, internTab |
| Methods inherited from class zeta.util.Term |
, clone, equals, getSubtermFields, getTagField, intern, internArray, toString |
| Methods inherited from class java.lang.Object |
finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait |
unparsedData
public java.lang.String unparsedData
AxPara_Unparsed
public AxPara_Unparsed(java.lang.String u)
AxPara_Unparsed
public AxPara_Unparsed(java.lang.String u,
int box,
int params)
AxPara_Unparsed
public AxPara_Unparsed(java.lang.String u,
java.lang.String box,
java.lang.String params)