Serialized Form

Package Pandora

Class Pandora.Justification extends java.lang.Object implements Serializable

Serialized Fields

lines

java.util.List<E> lines

symbol

java.lang.String symbol

extraLines

java.util.List<E> extraLines

Class Pandora.PanSignature extends java.lang.Object implements Serializable

Serialized Fields

predicates

java.util.List<E> predicates

constants

java.util.List<E> constants

functions

java.util.List<E> functions

variables

java.util.List<E> variables

svars

java.util.List<E> svars

skolems

java.util.List<E> skolems

Class Pandora.ParseInputController extends java.lang.Object implements Serializable

Serialized Fields

pandoraView

View pandoraView

error

java.lang.String error

Class Pandora.ProofBox extends ProofItem implements Serializable

Serialized Fields

proofItems

java.util.List<E> proofItems

nextBox

ProofBox nextBox

olderSiblingBox

ProofBox olderSiblingBox

boxStarted

boolean boxStarted

proved

boolean proved

displayItems

boolean displayItems

displayBorder

boolean displayBorder

dashedBox

boolean dashedBox

firstLine

int firstLine

lastLine

int lastLine

signature

PanSignature signature

skolem

int skolem

Class Pandora.ProofItem extends java.lang.Object implements Serializable

Serialized Fields

selected

boolean selected

parentWindow

ProofWindow parentWindow

parentBox

ProofBox parentBox

lineNum

int lineNum

itemPanel

javax.swing.JPanel itemPanel

lineLabel

javax.swing.JLabel lineLabel

emptyLabel

javax.swing.JLabel emptyLabel

Class Pandora.ProofLine extends ProofItem implements Serializable

Serialized Fields

lineNum

int lineNum

formula

Formula formula

justification

Justification justification

lineComment

java.lang.String lineComment

lineLabel

javax.swing.JLabel lineLabel

formulaLabel

javax.swing.JLabel formulaLabel

justLabel

javax.swing.JLabel justLabel

Class Pandora.ProofWindow extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

view

View view

inProof

boolean inProof

tempProofLines

java.util.List<E> tempProofLines

TMProofLines

java.util.List<E> TMProofLines

undoList

java.util.List<E> undoList

redoList

java.util.List<E> redoList

savedBox

ProofBox savedBox

sidebar

javax.swing.JPanel sidebar

proofArea

javax.swing.JPanel proofArea

mainBoxDisplayer

javax.swing.JPanel mainBoxDisplayer

eb

javax.swing.JPanel eb

func

javax.swing.JPanel func

ie

javax.swing.JPanel ie

qie

javax.swing.JPanel qie

rule

javax.swing.JButton rule

boxScroll

javax.swing.JScrollPane boxScroll

tempSource

javax.swing.JButton tempSource

tempV

int tempV

tempVLock

boolean tempVLock

tempH

int tempH

tempHLock

boolean tempHLock

given

javax.swing.JTextPane given

goal

javax.swing.JTextField goal

sigShow

boolean sigShow

sigToolbar

javax.swing.JToolBar sigToolbar

pred

javax.swing.JTextPane pred

constant

javax.swing.JTextPane constant

function

javax.swing.JTextPane function

variable

javax.swing.JTextPane variable

skolem

javax.swing.JTextPane skolem

addPredTB

javax.swing.JToolBar addPredTB

addPredTBName

javax.swing.JTextField addPredTBName

addPredTBArity

javax.swing.JTextField addPredTBArity

addConstTB

javax.swing.JToolBar addConstTB

addConstTBName

javax.swing.JTextField addConstTBName

addFuncTB

javax.swing.JToolBar addFuncTB

addFuncTBName

javax.swing.JTextField addFuncTBName

addFuncTBArity

javax.swing.JTextField addFuncTBArity

signature

PanSignature signature

lastSelectedLine

ProofLine lastSelectedLine

lastRuleSelected

javax.swing.JButton lastRuleSelected

ruleCtrl

RuleController ruleCtrl

inRule

boolean inRule

isTM

boolean isTM

isTMT

boolean isTMT

isDone

boolean isDone

hasError

boolean hasError

mainProofBox

ProofBox mainProofBox

firstTMLine

ProofItem firstTMLine

Class Pandora.View extends javax.swing.JFrame implements Serializable

serialVersionUID: 1L

Serialized Fields

pandoraControl

ParseInputController pandoraControl

theTabs

javax.swing.JTabbedPane theTabs

originalSize

int originalSize

currentSize

int currentSize

currentStyle

int currentStyle

currentFontFace

java.lang.String currentFontFace

Package Pandora.Help

Class Pandora.Help.Help extends javax.swing.JFrame implements Serializable

Serialized Fields

tree

javax.swing.JTree tree

top

javax.swing.tree.DefaultMutableTreeNode top

list

javax.swing.JList list

searchPanel

javax.swing.JSplitPane searchPanel

content

javax.swing.JEditorPane content

resList

javax.swing.JList resList

tf

javax.swing.JTextField tf

index

javax.swing.JTabbedPane index

jsp

javax.swing.JSplitPane jsp

button

javax.swing.JButton button

files

HelpPagesHTML files

sTree

javax.swing.JTree sTree

global

javax.swing.JRadioButton global

advanced

javax.swing.JRadioButton advanced

isGlobal

java.lang.Boolean isGlobal

Package Pandora.LogicParser

Class Pandora.LogicParser.lex extends java.lang.Object implements Serializable

Package Pandora.LogicParser.Formula

Class Pandora.LogicParser.Formula.And extends Formula implements Serializable

Serialized Fields

left

Formula left

right

Formula right

Class Pandora.LogicParser.Formula.Atom extends Formula implements Serializable

Serialized Fields

name

java.lang.String name

Class Pandora.LogicParser.Formula.Equals extends Predicate implements Serializable

Serialized Fields

left

Term left

right

Term right

Class Pandora.LogicParser.Formula.Exists extends Quantifier implements Serializable

Serialized Fields

var

Var var

formula

Formula formula

Class Pandora.LogicParser.Formula.False extends Atom implements Serializable

Class Pandora.LogicParser.Formula.Forall extends Quantifier implements Serializable

Serialized Fields

var

Var var

formula

Formula formula

Class Pandora.LogicParser.Formula.Formula extends java.lang.Object implements Serializable

Serialized Fields

atoms

java.util.List<E> atoms

newVars

java.util.List<E> newVars

terms

java.util.List<E> terms

error

java.lang.String error

tuples

java.util.List<E> tuples

Class Pandora.LogicParser.Formula.Function extends Term implements Serializable

Serialized Fields

name

java.lang.String name

params

java.util.Vector<E> params

arity

int arity

Class Pandora.LogicParser.Formula.Iff extends Formula implements Serializable

Serialized Fields

left

Formula left

right

Formula right

Class Pandora.LogicParser.Formula.Implies extends Formula implements Serializable

Serialized Fields

left

Formula left

right

Formula right

Class Pandora.LogicParser.Formula.Not extends Formula implements Serializable

Serialized Fields

formula

Formula formula

Class Pandora.LogicParser.Formula.Num extends Term implements Serializable

Serialized Fields

value

int value

Class Pandora.LogicParser.Formula.Or extends Formula implements Serializable

Serialized Fields

left

Formula left

right

Formula right

Class Pandora.LogicParser.Formula.Predicate extends Atom implements Serializable

Serialized Fields

name

java.lang.String name

params

java.util.Vector<E> params

arity

int arity

boundTerm

Term boundTerm

Class Pandora.LogicParser.Formula.Quantifier extends Formula implements Serializable

Serialized Fields

error

java.lang.String error

Class Pandora.LogicParser.Formula.SimpleTerm extends Term implements Serializable

Serialized Fields

name

java.lang.String name

Class Pandora.LogicParser.Formula.Sk extends Atom implements Serializable

Serialized Fields

name

java.lang.String name

Class Pandora.LogicParser.Formula.SkTerm extends Term implements Serializable

Serialized Fields

name

java.lang.String name

Class Pandora.LogicParser.Formula.SVar extends Term implements Serializable

Serialized Fields

name

java.lang.String name

Class Pandora.LogicParser.Formula.Term extends java.lang.Object implements Serializable

Serialized Fields

newVars

java.util.List<E> newVars

Class Pandora.LogicParser.Formula.True extends Atom implements Serializable

Class Pandora.LogicParser.Formula.Tuple extends java.lang.Object implements Serializable

Serialized Fields

first

Term first

second

Term second

Class Pandora.LogicParser.Formula.Unknown extends Formula implements Serializable

Serialized Fields

name

java.lang.String name

Class Pandora.LogicParser.Formula.Var extends Term implements Serializable

Serialized Fields

name

java.lang.String name

Package Pandora.LogicParser.Formula.AExp

Class Pandora.LogicParser.Formula.AExp.Add extends AExp implements Serializable

Class Pandora.LogicParser.Formula.AExp.AExp extends Term implements Serializable

Serialized Fields

left

Term left

right

Term right

Class Pandora.LogicParser.Formula.AExp.Multiply extends AExp implements Serializable

Class Pandora.LogicParser.Formula.AExp.Subtract extends AExp implements Serializable

Package Pandora.LogicParser.Formula.BExp

Class Pandora.LogicParser.Formula.BExp.BExp extends Formula implements Serializable

Serialized Fields

left

Term left

right

Term right

Class Pandora.LogicParser.Formula.BExp.EqualTo extends BExp implements Serializable

Class Pandora.LogicParser.Formula.BExp.GreaterThan extends BExp implements Serializable

Class Pandora.LogicParser.Formula.BExp.GTE extends BExp implements Serializable

Class Pandora.LogicParser.Formula.BExp.LessThan extends BExp implements Serializable

Class Pandora.LogicParser.Formula.BExp.LTE extends BExp implements Serializable

Class Pandora.LogicParser.Formula.BExp.NotEqual extends BExp implements Serializable

Serialized Fields

notEquals

Formula notEquals

Package Pandora.xGui

Class Pandora.xGui.DashedBorder extends java.lang.Object implements Serializable

Serialized Fields

THICKNESS

int THICKNESS

colour

java.awt.Color colour

dashWidth

int dashWidth

dashHeight

int dashHeight

Class Pandora.xGui.PandoraFileFilter extends javax.swing.filechooser.FileFilter implements Serializable