Constant Field Values

Contents

• net.sourceforge.*

net.sourceforge.*

net.sourceforge.czt.zeves.CZT2ZEves

Modifier and Type	Constant Field	Value
public static final String	DEFAULT_ADDRESS	"127.0.0.1"
public static final String	DEFAULT_PORT	"6789"

net.sourceforge.czt.zeves.ZEvesSocket

Modifier and Type	Constant Field	Value
public static final boolean	DEFAULT_AUTOFLUSH_ZEVES_OUT	true
public static final String	DEFAULT_ZEVES_HOST_ADDRESS	"127.0.0.1"
public static final int	DEFAULT_ZEVES_SERVER_PORT	6789

net.sourceforge.czt.zeves.proof.ZEvesTactics.CommandSequence

Modifier and Type	Constant Field	Value
public static final int	UNLIMITED	-1

net.sourceforge.czt.zeves.response.ZEvesOutput

Modifier and Type	Constant Field	Value
public static final String	UNPRINTABLE_PREDICATE	"An unprintable predicate"

net.sourceforge.czt.zeves.snapshot.ZEvesSnapshot

Modifier and Type	Constant Field	Value
public static final int	GOAL_STEP_INDEX	1

net.sourceforge.czt.zeves.z.ZEvesXMLPatterns

Modifier and Type	Constant Field	Value
public static final String	ABILITY_PATTERN	"ability=\"{0}\""
public static final String	APPL_EXPR_BAG_PATTERN	"(&lbag; {0} &rbag;)"
public static final String	APPL_EXPR_PATTERN	"{0} {1}"
public static final String	APPL_EXPR_SEQ_PATTERN	"(⟨ {0} ⟩)"
public static final String	AXIOMATIC_BOX_PATTERN	"<axiomatic-box {0} {1}>\n{2}\n{3}\n</axiomatic-box>"
public static final String	BIN_PRED_PATTERN	"({0}) {1} ({2})"
public static final String	BIN_SCHEXPR_PATTERN	"{0} {1} {2}"
public static final String	BIND_EXPR_PATTERN	"&lvang; {0} &rvang;"
public static final String	BINDSEL_EXPR_PATTERN	"({0}).{1}"
public static final String	BRANCH_PATTERN	"{0} &lchev; {1} &rchev;"
public static final String	COMMENT_PATTERN	"<!-- \n *** {0} *** \n\n {1} \n-->"
public static final String	COND_EXPR_PATTERN	"<word style=\"bold\"/>if<word/>{0}\n<word style=\"bold\"/>then<word/>{1}\n<word style=\"bold\"/>else<word/>{2}"
public static final String	EQ_SIGN	" = "
public static final String	EQ_SUBST_APPL_EXPR_PATTERN	"{0}{1}"
public static final String	GENERIC_BOX_PATTERN	"<generic-box {0} {1}>{2} {3} {4}</generic-box>"
public static final String	HIDE_EXPR_PATTERN	"{0} \\ ({1})"
public static final String	INFIX_APPL_EXPR_PATTERN	"{1} {0} {2}"
public static final String	INFIX_REF_EXPR_PATTERN	"(({0}) {1} ({2}))"
public static final String	LABEL_PATTERN	"&lchev; {0} {1} {2} &rchev;"
public static final String	LAMBDA_EXPR_PATTERN	"({0} {1} &bullet; {2})"
public static final String	LATEX_MARKUP_DIRECTIVE_COMMENT	"{0} {1} {2}"
public static final String	LET_EXPR_PATTERN	"(<word style=\"bold\"/>let<word/>{0} &bullet; {1})"
public static final String	LOCATION_PATTERN	"location=\"L{0};C{1};S{2};E{3};G{4};R{5}\""
public static final String	MEMPRED_PATTERN	"{0} {1} {2}"
public static final String	MIXFIX_APPL_EXPR_RELIMAGE_PATTERN	"({0} &lvparen; {1} &rvparen;)"
public static final String	NEG_EXPR_PATTERN	"&neg; ({0})"
public static final String	NEG_PRED_PATTERN	"&not; ({0})"
public static final String	NUM_STROKE_PATTERN	"&sub{0};"
public static final String	OEPRATOR_TEMPLATE_PATTERN	"<syntax-def>{0} {1} {2}</syntax-def>"
public static final String	OPERATOR_TEMPLATE_COMMENT	"{0} {1} {2} ({3})"
public static final String	POSTFIX_APPL_EXPR_PATTERN	"{1} {0}"
public static final String	POSTFIX_REF_EXPR_PATTERN	"({0}) {1}"
public static final String	POWER_EXPR_PATTERN	"&Popf; ({0})"
public static final String	PRE_EXPR_PATTERN	"<word style=\"roman\"/>pre<word/>{0}"
public static final String	PREDICATE_PARA_PATTERN	"<zed-box {0} {1}>{2}</zed-box>"
public static final String	PREFIX_REF_EXPR_PATTERN	"{0} ({1})"
public static final String	QNT_EXPR_PATTERN	"({0} {1} &bullet; {2})"
public static final String	QNT_PRED_PATTERN	"{0} {1} &bullet; {2}"
public static final String	RENAME_EXPR_PATTERN	"{0} [ {1} ]"
public static final String	ROMAN_PATTERN	"<word style=\"roman\"/>{0}<word/>"
public static final String	SC_SEP	";"
public static final String	SCHEMA_BOX_PATTERN	"<schema-box {0} {1}>{2}{3}\n{4}\n{5}\n</schema-box>"
public static final String	THEOREM_DEF_PATTERN	"<theorem-def {0} {1} {2} >{3} {4}\n{5}\n{6}\n</theorem-def>"
public static final String	THETA_EXPR_PATTERN	"&theta; {0} {1}"
public static final String	TUPLESEL_EXPR_PATTERN	"({0}).{1}"
public static final String	UNARY_MINUS_EXPR_PATTERN	"{0}{1}"
public static final String	UNARY_MINUS_PLUS_INFIX_APPL_EXPR_PATTERN	"({1} {0} {2})"
public static final String	USAGE_PATTERN	"usage=\"{0}\""
public static final String	ZED_BOX_FREETYPE_PATTERN	"<zed-box {0} {1}>{2}</zed-box>"
public static final String	ZED_BOX_GIVENSET_PATTERN	"<zed-box {0} {1}>[{2}]</zed-box>"
public static final String	ZED_BOX_HORIZONTAL_PATTERN	"<zed-box {0} {1}>{2} {3} {4} {5}</zed-box>"
public static final String	ZED_BOX_INFIXGENOP_HORIZONTAL_PATTERN	"<zed-box {0} {1}>{2} {3} {4} {5} {6}</zed-box>"
public static final String	ZEVES_COMMAND	"<cmd name=\"{0}\">{1}</cmd>"
public static final String	ZEVES_PROOF_PART_PATTERN	"<proof-part/> {0}"
public static final String	ZEVES_TOOLKIT_NAME	"toolkit"
public static final String	ZSECTION_BEGIN_PATTERN	"<cmd name=\"begin-section\"> {0} {1} </cmd>"
public static final String	ZSECTION_END_PATTERN	"<cmd name=\"end-section\"/></cmd>"