Hierarchy For All Packages

Package Hierarchies:

• net.sourceforge.czt.rules,
• net.sourceforge.czt.rules.ast,
• net.sourceforge.czt.rules.oldrewriter,
• net.sourceforge.czt.rules.oracles,
• net.sourceforge.czt.rules.print,
• net.sourceforge.czt.rules.prover,
• net.sourceforge.czt.rules.rewriter,
• net.sourceforge.czt.rules.unification

Class Hierarchy

• java.lang.Object
  • net.sourceforge.czt.rules.oracles.AbstractOracle
    • net.sourceforge.czt.rules.oracles.DecorateOracle
    • net.sourceforge.czt.rules.oracles.HideOracle
    • net.sourceforge.czt.rules.oracles.LookupOracle
    • net.sourceforge.czt.rules.oracles.RenameOracle
    • net.sourceforge.czt.rules.oracles.SchemaMinusOracle
    • net.sourceforge.czt.rules.oracles.SplitNamesOracle
    • net.sourceforge.czt.rules.oracles.ThetaOracle
    • net.sourceforge.czt.rules.oracles.TypecheckOracle
    • net.sourceforge.czt.rules.oracles.UnprefixOracle
    • net.sourceforge.czt.rules.oracles.XiOracle
  • net.sourceforge.czt.print.z.AstToPrintTreeVisitor (implements net.sourceforge.czt.z.visitor.AndPredVisitor<R>, net.sourceforge.czt.z.visitor.ApplExprVisitor<R>, net.sourceforge.czt.z.visitor.AxParaVisitor<R>, net.sourceforge.czt.z.visitor.MemPredVisitor<R>, net.sourceforge.czt.z.visitor.RefExprVisitor<R>, net.sourceforge.czt.base.visitor.TermVisitor<R>, net.sourceforge.czt.z.visitor.ZSectVisitor<R>)
    • net.sourceforge.czt.rules.print.AstToPrintTreeVisitor (implements net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<R>)
  • net.sourceforge.czt.base.impl.BaseFactory
    • net.sourceforge.czt.z.impl.ZFactoryImpl (implements net.sourceforge.czt.z.ast.ZFactory)
      • net.sourceforge.czt.zpatt.impl.ZpattFactoryImpl (implements net.sourceforge.czt.zpatt.ast.ZpattFactory)
        • net.sourceforge.czt.rules.ast.ProverFactory
  • net.sourceforge.czt.rules.unification.ChildExtractor (implements net.sourceforge.czt.z.visitor.ApplExprVisitor<R>, net.sourceforge.czt.z.visitor.AxParaVisitor<R>, net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<R>, net.sourceforge.czt.z.visitor.MemPredVisitor<R>, net.sourceforge.czt.z.visitor.RefExprVisitor<R>, net.sourceforge.czt.base.visitor.TermVisitor<R>, net.sourceforge.czt.z.visitor.ZDeclListVisitor<R>, net.sourceforge.czt.z.visitor.ZNameVisitor<R>)
  • net.sourceforge.czt.rules.oracles.CollectStateVariablesVisitor (implements net.sourceforge.czt.z.visitor.ConstDeclVisitor<R>, net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<R>, net.sourceforge.czt.z.visitor.InclDeclVisitor<R>, net.sourceforge.czt.zpatt.visitor.JokerDeclListVisitor<R>, net.sourceforge.czt.z.visitor.VarDeclVisitor<R>, net.sourceforge.czt.z.visitor.ZDeclListVisitor<R>)
  • java.awt.Component (implements java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable)
    • java.awt.Container
      • javax.swing.JComponent (implements java.io.Serializable)
        • javax.swing.JTree (implements javax.accessibility.Accessible, javax.swing.Scrollable)
          • net.sourceforge.czt.rules.prover.ProofTree
  • net.sourceforge.czt.rules.CopyVisitor (implements net.sourceforge.czt.zpatt.visitor.JokerDeclListVisitor<R>, net.sourceforge.czt.zpatt.visitor.JokerExprListVisitor<R>, net.sourceforge.czt.zpatt.visitor.JokerExprVisitor<R>, net.sourceforge.czt.zpatt.visitor.JokerNameListVisitor<R>, net.sourceforge.czt.zpatt.visitor.JokerNameVisitor<R>, net.sourceforge.czt.zpatt.visitor.JokerPredVisitor<R>, net.sourceforge.czt.zpatt.visitor.JokerRenameListVisitor<R>, net.sourceforge.czt.zpatt.visitor.JokerStrokeVisitor<R>, net.sourceforge.czt.z.visitor.RefExprVisitor<R>, net.sourceforge.czt.base.visitor.TermVisitor<R>, net.sourceforge.czt.z.visitor.VarDeclVisitor<R>, net.sourceforge.czt.z.visitor.ZDeclListVisitor<R>, net.sourceforge.czt.z.visitor.ZSchTextVisitor<R>)
  • net.sourceforge.czt.rules.oracles.DecorateOracle.DecorateNamesVisitor (implements net.sourceforge.czt.base.visitor.TermVisitor<R>, net.sourceforge.czt.z.visitor.ZNameVisitor<R>)
  • net.sourceforge.czt.rules.ast.GetNameWordVisitor (implements net.sourceforge.czt.zpatt.visitor.JokerNameVisitor<R>, net.sourceforge.czt.z.visitor.ZNameVisitor<R>)
  • net.sourceforge.czt.rules.JokerCollector (implements net.sourceforge.czt.base.visitor.TermVisitor<R>)
  • net.sourceforge.czt.rules.unification.OccursCheckVisitor (implements net.sourceforge.czt.base.visitor.TermVisitor<R>, net.sourceforge.czt.util.Visitor<R>)
  • net.sourceforge.czt.rules.unification.Packer (implements net.sourceforge.czt.zpatt.visitor.HeadDeclListVisitor<R>, net.sourceforge.czt.base.visitor.TermVisitor<R>, net.sourceforge.czt.z.visitor.ZDeclListVisitor<R>)
  • net.sourceforge.czt.rules.print.PrintUtils
  • net.sourceforge.czt.rules.prover.ProverUtils
  • net.sourceforge.czt.rules.prover.ProverUtils.GetZSectNameVisitor (implements net.sourceforge.czt.z.visitor.SpecVisitor<R>, net.sourceforge.czt.z.visitor.ZSectVisitor<R>)
  • net.sourceforge.czt.rules.oracles.RenameOracle.RenameVisitor (implements net.sourceforge.czt.z.visitor.InclDeclVisitor<R>, net.sourceforge.czt.base.visitor.TermVisitor<R>, net.sourceforge.czt.z.visitor.ZNameVisitor<R>)
  • net.sourceforge.czt.rules.oldrewriter.Rewrite (implements net.sourceforge.czt.z.visitor.ExprVisitor<R>, net.sourceforge.czt.z.visitor.LetExprVisitor<R>, net.sourceforge.czt.z.visitor.PredVisitor<R>, net.sourceforge.czt.z.visitor.SchTextVisitor<R>, net.sourceforge.czt.base.visitor.TermVisitor<R>, net.sourceforge.czt.z.visitor.ZSectVisitor<R>)
  • net.sourceforge.czt.rules.oldrewriter.RewriteOnceVisitor (implements net.sourceforge.czt.z.visitor.ExprVisitor<R>, net.sourceforge.czt.z.visitor.PredVisitor<R>, net.sourceforge.czt.rules.rewriter.Rewriter, net.sourceforge.czt.z.visitor.SchTextVisitor<R>, net.sourceforge.czt.base.visitor.TermVisitor<R>)
  • net.sourceforge.czt.rules.rewriter.RewriteUtils
  • net.sourceforge.czt.rules.rewriter.RewriteVisitor (implements net.sourceforge.czt.z.visitor.ExprVisitor<R>, net.sourceforge.czt.z.visitor.PredVisitor<R>, net.sourceforge.czt.rules.rewriter.Rewriter, net.sourceforge.czt.base.visitor.TermVisitor<R>)
  • net.sourceforge.czt.rules.rewriter.RewriteVisitor.AddRuleVisitor (implements net.sourceforge.czt.z.visitor.ExprVisitor<R>, net.sourceforge.czt.z.visitor.PredVisitor<R>)
  • net.sourceforge.czt.rules.rewriter.RewriteVisitor.RewriteRule
  • net.sourceforge.czt.rules.RuleTable
  • net.sourceforge.czt.rules.RuleTableCommand (implements net.sourceforge.czt.session.Command)
  • net.sourceforge.czt.rules.RuleTableCommand.RuleTableVisitor (implements net.sourceforge.czt.zpatt.visitor.RuleParaVisitor<R>, net.sourceforge.czt.z.visitor.SpecVisitor<R>, net.sourceforge.czt.base.visitor.TermVisitor<R>, net.sourceforge.czt.z.visitor.ZParaListVisitor<R>, net.sourceforge.czt.z.visitor.ZSectVisitor<R>)
  • net.sourceforge.czt.rules.RuleUtils
  • net.sourceforge.czt.rules.prover.SimpleProver (implements net.sourceforge.czt.rules.prover.Prover)
  • net.sourceforge.czt.rules.rewriter.Strategies
  • net.sourceforge.czt.base.impl.TermImpl (implements net.sourceforge.czt.base.ast.Term)
    • net.sourceforge.czt.zpatt.impl.BindingImpl (implements net.sourceforge.czt.zpatt.ast.Binding)
      • net.sourceforge.czt.zpatt.impl.JokerDeclListBindingImpl (implements net.sourceforge.czt.zpatt.ast.JokerDeclListBinding)
        • net.sourceforge.czt.rules.ast.ProverJokerDeclListBinding
      • net.sourceforge.czt.zpatt.impl.JokerExprBindingImpl (implements net.sourceforge.czt.zpatt.ast.JokerExprBinding)
        • net.sourceforge.czt.rules.ast.ProverJokerExprBinding
      • net.sourceforge.czt.zpatt.impl.JokerExprListBindingImpl (implements net.sourceforge.czt.zpatt.ast.JokerExprListBinding)
        • net.sourceforge.czt.rules.ast.ProverJokerExprListBinding
      • net.sourceforge.czt.zpatt.impl.JokerNameBindingImpl (implements net.sourceforge.czt.zpatt.ast.JokerNameBinding)
        • net.sourceforge.czt.rules.ast.ProverJokerNameBinding
      • net.sourceforge.czt.zpatt.impl.JokerNameListBindingImpl (implements net.sourceforge.czt.zpatt.ast.JokerNameListBinding)
        • net.sourceforge.czt.rules.ast.ProverJokerNameListBinding
      • net.sourceforge.czt.zpatt.impl.JokerPredBindingImpl (implements net.sourceforge.czt.zpatt.ast.JokerPredBinding)
        • net.sourceforge.czt.rules.ast.ProverJokerPredBinding
      • net.sourceforge.czt.zpatt.impl.JokerRenameListBindingImpl (implements net.sourceforge.czt.zpatt.ast.JokerRenameListBinding)
        • net.sourceforge.czt.rules.ast.ProverJokerRenameListBinding
      • net.sourceforge.czt.zpatt.impl.JokerStrokeBindingImpl (implements net.sourceforge.czt.zpatt.ast.JokerStrokeBinding)
        • net.sourceforge.czt.rules.ast.ProverJokerStrokeBinding
    • net.sourceforge.czt.z.impl.DeclListImpl (implements net.sourceforge.czt.z.ast.DeclList)
      • net.sourceforge.czt.rules.ast.EmptyDeclListImpl (implements net.sourceforge.czt.rules.ast.EmptyDeclList)
      • net.sourceforge.czt.zpatt.impl.JokerDeclListImpl (implements net.sourceforge.czt.zpatt.ast.JokerDeclList)
        • net.sourceforge.czt.rules.ast.ProverJokerDeclList (implements net.sourceforge.czt.rules.Joker)
    • net.sourceforge.czt.z.impl.ExprImpl (implements net.sourceforge.czt.z.ast.Expr)
      • net.sourceforge.czt.zpatt.impl.JokerExprImpl (implements net.sourceforge.czt.zpatt.ast.JokerExpr)
        • net.sourceforge.czt.rules.ast.ProverJokerExpr (implements net.sourceforge.czt.rules.Joker)
    • net.sourceforge.czt.z.impl.ExprListImpl (implements net.sourceforge.czt.z.ast.ExprList)
      • net.sourceforge.czt.zpatt.impl.JokerExprListImpl (implements net.sourceforge.czt.zpatt.ast.JokerExprList)
        • net.sourceforge.czt.rules.ast.ProverJokerExprList (implements net.sourceforge.czt.rules.Joker)
    • net.sourceforge.czt.z.impl.NameImpl (implements net.sourceforge.czt.z.ast.Name)
      • net.sourceforge.czt.zpatt.impl.JokerNameImpl (implements net.sourceforge.czt.zpatt.ast.JokerName)
        • net.sourceforge.czt.rules.ast.ProverJokerName (implements net.sourceforge.czt.rules.Joker)
    • net.sourceforge.czt.z.impl.NameListImpl (implements net.sourceforge.czt.z.ast.NameList)
      • net.sourceforge.czt.zpatt.impl.JokerNameListImpl (implements net.sourceforge.czt.zpatt.ast.JokerNameList)
        • net.sourceforge.czt.rules.ast.ProverJokerNameList (implements net.sourceforge.czt.rules.Joker)
    • net.sourceforge.czt.z.impl.PredImpl (implements net.sourceforge.czt.z.ast.Pred)
      • net.sourceforge.czt.zpatt.impl.JokerPredImpl (implements net.sourceforge.czt.zpatt.ast.JokerPred)
        • net.sourceforge.czt.rules.ast.ProverJokerPred (implements net.sourceforge.czt.rules.Joker)
    • net.sourceforge.czt.z.impl.RenameListImpl (implements net.sourceforge.czt.z.ast.RenameList)
      • net.sourceforge.czt.zpatt.impl.JokerRenameListImpl (implements net.sourceforge.czt.zpatt.ast.JokerRenameList)
        • net.sourceforge.czt.rules.ast.ProverJokerRenameList (implements net.sourceforge.czt.rules.Joker)
    • net.sourceforge.czt.z.impl.StrokeImpl (implements net.sourceforge.czt.z.ast.Stroke)
      • net.sourceforge.czt.zpatt.impl.JokerStrokeImpl (implements net.sourceforge.czt.zpatt.ast.JokerStroke)
        • net.sourceforge.czt.rules.ast.ProverJokerStroke (implements net.sourceforge.czt.rules.Joker)
  • net.sourceforge.czt.base.util.TermToString (implements net.sourceforge.czt.base.visitor.TermVisitor<R>)
    • net.sourceforge.czt.rules.ast.TermToString (implements net.sourceforge.czt.zpatt.visitor.JokerDeclListVisitor<R>)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • net.sourceforge.czt.rules.RuleApplicationException
      • net.sourceforge.czt.rules.RuleTable.RuleTableException
      • java.lang.RuntimeException
        • net.sourceforge.czt.util.CztException
          • net.sourceforge.czt.rules.prover.ProverUtils.UnboundJokerRuntimeException
          • net.sourceforge.czt.rules.RuleTableCommand.VisitorException
      • net.sourceforge.czt.rules.UnboundJokerException
      • net.sourceforge.czt.rules.unification.UnificationException
  • net.sourceforge.czt.rules.unification.UnificationUtils
  • net.sourceforge.czt.rules.unification.Unifier

Interface Hierarchy

• net.sourceforge.czt.rules.Joker
• net.sourceforge.czt.rules.prover.Prover
• net.sourceforge.czt.rules.rewriter.Rewriter
• net.sourceforge.czt.base.ast.Term
  • net.sourceforge.czt.z.ast.DeclList
    • net.sourceforge.czt.rules.ast.EmptyDeclList
  • net.sourceforge.czt.rules.ast.EmptyDeclList
• net.sourceforge.czt.util.Visitor<R>
  • net.sourceforge.czt.rules.ast.EmptyDeclListVisitor<R>