Crate logic_tracer 

Logic Tracer

logic_tracer is a library for tracing the logic of a logic propopsition.

Also creates a truth table and a Karnaugh map (if possible).

Features

• Creates a logic trace
• Creates a truth table
• Creates a Karnaugh map
• Reduces the logic proposition to its simplest form (if possible)
• Creates a circuit diagram (if possible)
• Serializes the logic proposition to a file (must be implemented)

Modules

numbers

operators

variables

Macros

impl_enum_token

Macro to implement specific token types for a given trait.

impl_lexer_token_from

Macro to implement a token recognizer for a given set of token types.

impl_token_trait

Macro to implement specific token types for a given trait. Implements the ‘from’ method for the token type to create a Box from a string.

Structs

AST

Represents a complete Abstract Syntax Tree

CompleteLexer

Digit

Lexer

A lexer for tokenizing source code.

LogicLexer

MathLexer

Natural

Node

A node in the Abstract Syntax Tree

Number

Operator

Parser

Represents a parser for converting a sequence of tokens into an AST.

PhysicLexer

Real

Variable

Enums

AlphaUpper

Alphabet

GreekAlpha

GreekUpperAlpha

LogicOp

MathConst

MathOp

PhysicConst

RelationalOp

Traits

NumberTrait

OperatorNegator

OperatorTrait

Token

Represents a generic token within the language processing system.

TokenRecognizer

VariableTrait