Serialized Form

Package net.sourceforge.czt.rules

Class net.sourceforge.czt.rules.RuleApplicationException extends Exception implements Serializable

serialVersionUID:

-8156684409766561167L

Serialized Fields

rulePara_

net.sourceforge.czt.zpatt.ast.RulePara rulePara_

sequent_

net.sourceforge.czt.zpatt.ast.Sequent sequent_

Class net.sourceforge.czt.rules.RuleTable.RuleTableException extends Exception implements Serializable

serialVersionUID:

-1694100700569618801L

Class net.sourceforge.czt.rules.RuleTableCommand.VisitorException extends net.sourceforge.czt.util.CztException implements Serializable

serialVersionUID:

-1958378042480636635L

Class net.sourceforge.czt.rules.UnboundJokerException extends Exception implements Serializable

serialVersionUID:

251710860009117740L

Package net.sourceforge.czt.rules.prover

Class net.sourceforge.czt.rules.prover.ProofTree extends JTree implements Serializable

serialVersionUID:

-1384815784250541020L

Serialized Fields

rules_

RuleTable rules_

manager_

net.sourceforge.czt.session.SectionManager manager_

section_

String section_

Class net.sourceforge.czt.rules.prover.ProverUtils.UnboundJokerRuntimeException extends net.sourceforge.czt.util.CztException implements Serializable

serialVersionUID:

6636261022785187318L

Package net.sourceforge.czt.rules.unification

Class net.sourceforge.czt.rules.unification.UnificationException extends Exception implements Serializable

serialVersionUID:

5603709266560944685L

Serialized Fields

reason_

String reason_

left_

Object left_

right_

Object right_