Hierarchy For All Packages

Package Hierarchies:

Pandora, Pandora.Help, Pandora.LogicParser, Pandora.LogicParser.Formula, Pandora.LogicParser.Formula.AExp, Pandora.LogicParser.Formula.BExp, Pandora.NDRules, Pandora.xGui

Class Hierarchy

• java.lang.Object
  • Pandora.xGui.Colour
  • 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.JPanel (implements javax.accessibility.Accessible)
          • Pandora.ProofWindow (implements java.awt.event.ActionListener, java.awt.event.FocusListener, java.awt.event.KeyListener)
      • java.awt.Window (implements javax.accessibility.Accessible)
        • java.awt.Frame (implements java.awt.MenuContainer)
          • javax.swing.JFrame (implements javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants)
            • Pandora.Help.Help (implements java.awt.event.ActionListener, javax.swing.event.ChangeListener, javax.swing.event.TreeSelectionListener)
            • Pandora.View (implements java.awt.event.ActionListener, java.awt.event.MouseListener)
  • Pandora.xGui.DashedBorder (implements javax.swing.border.Border, java.io.Serializable)
  • Pandora.Help.ErrorFrame
  • Pandora.Help.ErrorMessages
  • javax.swing.filechooser.FileFilter
    • Pandora.xGui.PandoraFileFilter (implements java.io.Serializable)
  • Pandora.LogicParser.Formula.Formula (implements java.io.Serializable)
    • Pandora.LogicParser.Formula.And
    • Pandora.LogicParser.Formula.Atom
      • Pandora.LogicParser.Formula.False
      • Pandora.LogicParser.Formula.Predicate
        • Pandora.LogicParser.Formula.Equals
      • Pandora.LogicParser.Formula.Sk
      • Pandora.LogicParser.Formula.True
    • Pandora.LogicParser.Formula.BExp.BExp
      • Pandora.LogicParser.Formula.BExp.EqualTo
      • Pandora.LogicParser.Formula.BExp.GreaterThan
      • Pandora.LogicParser.Formula.BExp.GTE
      • Pandora.LogicParser.Formula.BExp.LessThan
      • Pandora.LogicParser.Formula.BExp.LTE
      • Pandora.LogicParser.Formula.BExp.NotEqual
    • Pandora.LogicParser.Formula.Iff
    • Pandora.LogicParser.Formula.Implies
    • Pandora.LogicParser.Formula.Not
    • Pandora.LogicParser.Formula.Or
    • Pandora.LogicParser.Formula.Quantifier
      • Pandora.LogicParser.Formula.Exists
      • Pandora.LogicParser.Formula.Forall
    • Pandora.LogicParser.Formula.Unknown
  • Pandora.Help.HelpAccessProcedures
  • Pandora.Help.HelpFrame
  • Pandora.Help.HelpMessages
  • Pandora.Help.HelpPagesHTML
  • Pandora.Justification (implements java.io.Serializable)
  • java_cup.runtime.lr_parser
    • Pandora.LogicParser.parser
  • Pandora.NDRules.NDRule
    • Pandora.NDRules.AndElim
    • Pandora.NDRules.AndIntro
    • Pandora.NDRules.EM
    • Pandora.NDRules.ExistsElim
    • Pandora.NDRules.ExistsIntro
    • Pandora.NDRules.FalsityElim
    • Pandora.NDRules.FalsityIntro
    • Pandora.NDRules.ForallArrowElim
    • Pandora.NDRules.ForallArrowIntro
    • Pandora.NDRules.ForallElim
    • Pandora.NDRules.ForallIntro
    • Pandora.NDRules.ForallTick
    • Pandora.NDRules.IffElim
    • Pandora.NDRules.IffElimDerived
    • Pandora.NDRules.IffIntro
    • Pandora.NDRules.IffIntroDerived
    • Pandora.NDRules.ImpliesElim
    • Pandora.NDRules.ImpliesIntro
    • Pandora.NDRules.Instantiate
    • Pandora.NDRules.Lemma
    • Pandora.NDRules.NotElim
    • Pandora.NDRules.NotIntro
    • Pandora.NDRules.NotNot
    • Pandora.NDRules.OrElim
    • Pandora.NDRules.OrIntro
    • Pandora.NDRules.PC
    • Pandora.NDRules.Reflexivity
    • Pandora.NDRules.Substitution
    • Pandora.NDRules.Tick
    • Pandora.NDRules.TM
    • Pandora.NDRules.TMTick
    • Pandora.NDRules.TopIntro
  • Pandora.NDRuleController
  • Pandora.NDRules.Pair
  • Pandora.Pandora
  • Pandora.PanSignature (implements java.lang.Cloneable, java.io.Serializable)
  • Pandora.LogicParser.ParseController
  • Pandora.ParseInputController (implements java.io.Serializable)
  • Pandora.PLComparator (implements java.util.Comparator<T>)
  • Pandora.ProofItem (implements java.awt.event.MouseListener, java.io.Serializable)
    • Pandora.ProofBox (implements java.awt.event.MouseListener)
    • Pandora.ProofLine (implements java.lang.Comparable<T>)
  • Pandora.RuleController
  • Pandora.LogicParser.sym
  • Pandora.LogicParser.Formula.Term (implements java.lang.Cloneable, java.io.Serializable)
    • Pandora.LogicParser.Formula.AExp.AExp
      • Pandora.LogicParser.Formula.AExp.Add
      • Pandora.LogicParser.Formula.AExp.Multiply
      • Pandora.LogicParser.Formula.AExp.Subtract
    • Pandora.LogicParser.Formula.Function
    • Pandora.LogicParser.Formula.Num
    • Pandora.LogicParser.Formula.SimpleTerm
    • Pandora.LogicParser.Formula.SkTerm
    • Pandora.LogicParser.Formula.SVar
    • Pandora.LogicParser.Formula.Var
  • Pandora.Help.TextFileReader
  • Pandora.LogicParser.Formula.Tuple (implements java.io.Serializable)
  • Pandora.Types