Index

A B C D E F G H I K L M N O P R S T U V W X Y
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

AbstractComposite - Class in model.logic.abstraction

Provides the functionality of a composite.

AbstractComposite() - Constructor for class model.logic.abstraction.AbstractComposite

AbstractDComposite - Class in model.description.abstraction

An abstract base class for described composites.

AbstractDComposite() - Constructor for class model.description.abstraction.AbstractDComposite

AbstractDescribed - Class in model.description.abstraction

Provides the basic functionality for classes that meet the Described interface.

AbstractDescribed() - Constructor for class model.description.abstraction.AbstractDescribed

AbstractFormal - Class in model.logic.abstraction

Provides the straightforward functionality of a formal.

AbstractFormal() - Constructor for class model.logic.abstraction.AbstractFormal

AbstractFrame - Class in view.abstraction

Corresponds to TraversablePanel but for JFrames instead of JPanels and also contains much less functionality.

AbstractFrame(String) - Constructor for class view.abstraction.AbstractFrame

Instantiates a new traversable frame.

actionPerformed(ActionEvent) - Method in class annexes.maker.CompositeMaker

As usual, this is the main hub of control, directed by button clicks.

actionPerformed(ActionEvent) - Method in class annexes.maker.CompositePanel

Only receives and acts on events from buttons in the east panel of sub primitives.

actionPerformed(ActionEvent) - Method in class annexes.picker.DeductionPicker

Action performed.

actionPerformed(ActionEvent) - Method in class annexes.picker.PickerDialog

Action performed.

actionPerformed(ActionEvent) - Method in class annexes.trainer.BindingsViewDialog.BindingContainer

Action performed.

actionPerformed(ActionEvent) - Method in class annexes.trainer.DeductionTrainer

The main hub of functionality executed by the buttons clicked in the application.

actionPerformed(ActionEvent) - Method in class view.components.DButton.DisplayAction

Action performed.

actionPerformed(ActionEvent) - Method in class view.components.dialogs.DefaultDialog

Action performed with cases for 'cancel', 'load', 'store' and 'delete' where the three last ones have corresponding abstract methods.

actionPerformed(ActionEvent) - Method in class view.components.dialogs.TheoremStore

Action performed with cases for 'cancel', 'load', 'store' and 'delete' where the three last ones have corresponding abstract methods.

actionPerformed(ActionEvent) - Method in class view.ControlPanel

Hub for most of the functionality triggered by clicking buttons.

actionPerformed(ActionEvent) - Method in class view.DeductionPanel

Manages most of the control functionality in this class.

adapter - Variable in class view.abstraction.TraversablePanel

Still just a plain window adapter.

addAndFillCursor(Rectangle, Described) - Method in class annexes.maker.CompositePanel

Adds a new placeholder and also fills it with a new described formal.

addComponents(Vector<Container>, Vector<Vector<Component>>) - Method in class view.abstraction.CustomTraversalPolicy

Adds all roots and each root's focus traversal cycle.

addCompositesButtons(DoubleArray<Described, Shortcut>) - Method in class view.PrimitivesPanel

Constructs and incorporates the buttons and their actions for composite's buttons.

addCursor(Rectangle) - Method in class annexes.maker.CompositePanel

Adds a new placeholder to the edited composite, to be filled with a formal later.

addListener(DeductionTrainer) - Method in class annexes.trainer.TrainerFrame

Adds the listener.

addListeners(ActionListener) - Method in class annexes.maker.CompositePanel

Add a action listener to all buttons.

addToSelected(String) - Method in class annexes.picker.DeductionPicker

Adds a database table of primitives to the currently selected primitives.

advance(char) - Static method in class control.Toolbox

The number of pixels to advance when typing a character, relative the current font metrics.

annexes.maker - package annexes.maker

This sub appliccation lets the user construct composite described formals by putting together many primitives.

annexes.picker - package annexes.picker

This sub application lets the user pick primitives from menus and put together the necessary palette for the mathematics the user intend to write.

annexes.trainer - package annexes.trainer

This sub application lets the user bind keyboard keys to different formals and then practice typing them.

appendPrimitive(Described) - Method in class model.description.DTheorem

Append a primitive to the preliminary statement.

area(Set<DStatement>) - Static method in class view.abstraction.DisplayTools

Adds areas of the described statements that are given as argument.

ARROW - Enum constant in enum class model.logic.abstraction.Formal.FormalType

Deduction symbols used between statements.

ascend() - Method in class model.description.DEditableStatement

Ascends up from the composite the cursor in is or does nothing if it is already on topmost level.

A B C D E F G H I K L M N O P R S T U V W X Y
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form