jkr2255 /
prop_logic
| Rating | Name | Size | Complexity | Test Coverage |
|---|---|---|---|---|
| B | PropLogic::Term | 213 | 42 | ? |
| A | PropLogic::Variable | 58 | 12 | ? |
| A | DefaultIncrementalSolver | 26 | 3 | ? |
| A | PropLogic::Constant | 10 | 2 | ? |
| A | PropLogic::FalseConstant | 12 | 3 | ? |
| A | Term | 5 | 1 | ? |
| A | PropLogic::OrTerm | 57 | 17 | ? |
| A | PropLogic::AndTerm | 58 | 17 | ? |
| A | PropLogic::TrueConstant | 14 | 3 | ? |
| A | PropLogic::NotTerm | 68 | 20 | ? |
| A | PropLogic::ThenTerm | 22 | 6 | ? |
