DeductionWriter - Mathematics notetaking and writing tool
Packages
Package
Description
This sub appliccation lets the user construct composite described formals by putting
together many primitives.
This sub application lets the user pick primitives from menus and put together the necessary
palette for the mathematics the user intend to write.
This sub application lets the user bind keyboard keys to different formals and then practice
typing them.
This is the control part of the MVC-software model: consists of administrative and intermediary tasks,
mainly between the model and the view but it also handles the interaction with the sqlite data base
for example.
The applications data base which stores the following tables: primitives, composites, statments and theorems.
The three latter makes a lot of references to the first one by utf codepoint integers and those are well standardised.
The three latter makes a lot of references to the first one by utf codepoint integers and those are well standardised.
The model part of the MVC-software model: consists of little and where present, well isolated io- and graphics work.
The description part of the model.
This package provides the ground work for inheritance on the description side of the model.
As on the logic side of the modell the purpose is to off-load the concreete classes of as much as possible so the constructor is what's missing for them to work properly.
As on the logic side of the modell the purpose is to off-load the concreete classes of as much as possible so the constructor is what's missing for them to work properly.
This package contributes with the data structures and functions that are not related to the
mathemathical content that this application is about but still is algorithmic in nature and
clearly belong to the model side.
The logic part of the model.
This package provides the ground work for inheritance on the value (logic) side of the model.
The purpose is to off-load the concreete classes of as much as possible so that the constructor is what's missing for them to work properly.
The purpose is to off-load the concreete classes of as much as possible so that the constructor is what's missing for them to work properly.
The view part of the MVC-software model: consists mainly of handling pre-fab widget components and
drawing graphics.
Constains off-loading abstract classes for the panels and frames in the view package.
Widget components used here and there.
Dialogs for loading and storing theorems, primitives and other.