Kirk Rader  1.0-SNAPSHOT
Classes
Package us.rader.tt.formula.test

Unit tests for classes in us.rader.tt.formula. More...

Classes

class  BiconditionalTest
 Unit tests for us.rader.tt.formula.Biconditional. More...
 
class  ConditionalTest
 Unit tests for us.rader.tt.formula.Conditional. More...
 
class  ConjunctionTest
 Unit tests for us.rader.tt.formula.Conjunction. More...
 
class  DescriptionTest
 Unit tests for us.rader.tt.formula.Description. More...
 
class  DisjunctionTest
 Unit tests for us.rader.tt.formula.Disjunction. More...
 
class  ExistentialGeneralizationTest
 Unit tests for us.rader.tt.formula.ExistentialGeneralization. More...
 
class  ExpressionTest
 Unit tests for us.rader.tt.formula.Expression. More...
 
class  FormulaTest
 Unit tests for Formula. More...
 
class  IdentityTest
 Unit tests for us.rader.tt.formula.Identity. More...
 
class  NegationTest
 Unit tests for us.rader.tt.formula.Negation. More...
 
class  SentenceTest
 Unit tests for us.rader.tt.formula.Sentence. More...
 
class  UniversalGeneralizationTest
 Unit tests for us.rader.tt.formula.UniversalGeneralization. More...
 
class  VariableTest
 Unit tests for us.rader.tt.formula.Variable. More...
 

Detailed Description

Unit tests for classes in us.rader.tt.formula.