Module tnt::types [−][src]
Structs
Expression | Expression representd any valid Expression of TNT which is any combination of Variables, Number, and Expressions using addition, multiplication, and the successor operation. |
Number | Number represents any valid number of TNT which is a 0 preceeded by zero or more S. |
Variable | Variable represents any valid variable of TNT, a lowercase English letter followed by zero or more apostophes. Besides the string itself it keeps two Regex with it representing the variable itself and quantification of the variable. This prevents the Regex from having to be built each time the Variable is searched for. |
Enums
Formula | A Formula is a well-formed formula, either Simple or Complex |
TNT | TNT consists of any valid statement |
Traits
Term | Term is implemented for the three structs that hold valid pieces of unquantified TNT formulas: Variable, Number, and Expression. |