Kirk Rader  1.0-SNAPSHOT
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 123456]
 Nus
 Nrader
 NttDemonstrate object-oriented design and implementation using a simple Java class library
 NappGenerate Markfown output for a formula of the monadic predicate calculus
 CTTProcess a well-formed formula of the monadic predicate calculus
 NformulaProcessor for well-formed formulas of the monadic predicate calculus
 NtestUnit tests for classes in us.rader.tt.formula
 CBiconditionalTestUnit tests for us.rader.tt.formula.Biconditional
 CConditionalTestUnit tests for us.rader.tt.formula.Conditional
 CConjunctionTestUnit tests for us.rader.tt.formula.Conjunction
 CDescriptionTestUnit tests for us.rader.tt.formula.Description
 CDisjunctionTestUnit tests for us.rader.tt.formula.Disjunction
 CExistentialGeneralizationTestUnit tests for us.rader.tt.formula.ExistentialGeneralization
 CExpressionTestUnit tests for us.rader.tt.formula.Expression
 CFormulaTestUnit tests for Formula
 CIdentityTestUnit tests for us.rader.tt.formula.Identity
 CNegationTestUnit tests for us.rader.tt.formula.Negation
 CSentenceTestUnit tests for us.rader.tt.formula.Sentence
 CUniversalGeneralizationTestUnit tests for us.rader.tt.formula.UniversalGeneralization
 CVariableTestUnit tests for us.rader.tt.formula.Variable
 CBiconditional"Equivalence" operator
 CConditional"Implies" operator
 CConjunction"And" operator
 CConnectiveA connective
 CDescriptionDefinite description (reverse iota)
 CDisjunction"Inclusive or" operator
 CExistentialGeneralizationExistential generalization
 CExpressionObjects with unique Graphviz node names
 CSyntaxErrorException thrown when a syntax error is detected while parsing an Expression
 CFormulaA formula of the monadic predicate calculus
 CColumnComparatorComparator used to sort the columns in a truth table
 CGraphableObjects that can render themselves as Graphviz digraphs
 CIdentityIdentity, i.e
 CNegation"Not" operator
 COperatorA non-terminal Formula of the monadic predicate calculus
 CPredicateA predicate, i.e
 CSentenceAn atomic sentence represented by an upper-case letter (P, Q etc.)
 CSymbolicNodeA sentence or predicate
 CUniversalGeneralizationUniversal generalization
 CVariableA variable (lower-case alphabetic character) of the monadic predicate calculus
 CVariableBindingOperatorGeneralization
 NunittestingMock class used in unit testing examples
 NtestNegative and positive examples of unit testing style
 CBadDivider1TestCounter example of a "test suite" that demonstrates 100% code coverage but completely inadequate testing strategy
 CBadDivider2TestAnother counter-example of a "test suite" that achieves adequate use case coverage but using extremely poor coding style
 CGoodDividerTestUnit tests for Divider
 CDividerMock class used to demonstrate unit testing best practices
 NusingdoxygenExamples of javadoc comment blocks with rich content supported by Doxygen
 NtestUnit tests for classes in us.rader.usingdoxygen
 CPythagorasTestUnit tests for Pythagoras
 CBaseA mock interface used to demonstrate Doxygen features
 CPythagorasPermutations of the Pythagorean theorem