Index

A

AlreadyConstrainedSymbolError AlreadyFullTableError apply_de_morgans() (tt.trees.tree_node.BinaryOperatorExpressionTreeNode method) (tt.trees.tree_node.ExpressionTreeNode method) (tt.trees.tree_node.OperandExpressionTreeNode method) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode method) apply_idempotent_law() (tt.trees.tree_node.BinaryOperatorExpressionTreeNode method) (tt.trees.tree_node.ExpressionTreeNode method) (tt.trees.tree_node.OperandExpressionTreeNode method) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode method)

apply_identity_law() (tt.trees.tree_node.BinaryOperatorExpressionTreeNode method) (tt.trees.tree_node.ExpressionTreeNode method) (tt.trees.tree_node.OperandExpressionTreeNode method) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode method) apply_inverse_law() (tt.trees.tree_node.BinaryOperatorExpressionTreeNode method) (tt.trees.tree_node.ExpressionTreeNode method) (tt.trees.tree_node.OperandExpressionTreeNode method) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode method) ArgumentError

B

BadParenPositionError BINARY_OPERATORS (in module tt.definitions.operators) BinaryOperatorExpressionTreeNode (class in tt.trees.tree_node)

BOOLEAN_VALUES (in module tt.definitions.operands) boolean_variables_factory() (in module tt.definitions.operands) BooleanOperator (class in tt.definitions.operators) build_tree() (tt.trees.tree_node.ExpressionTreeNode static method)

C

coalesce_negations() (tt.trees.tree_node.BinaryOperatorExpressionTreeNode method) (tt.trees.tree_node.ExpressionTreeNode method) (tt.trees.tree_node.OperandExpressionTreeNode method) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode method)

ConflictingArgumentsError CONSTANT_VALUES (in module tt.definitions.grammar)

D

default_plain_english_str (tt.definitions.operators.BooleanOperator property) default_symbol_str (tt.definitions.operators.BooleanOperator property) DELIMITERS (in module tt.definitions.grammar) distribute_ands() (tt.trees.tree_node.BinaryOperatorExpressionTreeNode method) (tt.trees.tree_node.ExpressionTreeNode method) (tt.trees.tree_node.OperandExpressionTreeNode method) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode method)

distribute_ors() (tt.trees.tree_node.BinaryOperatorExpressionTreeNode method) (tt.trees.tree_node.ExpressionTreeNode method) (tt.trees.tree_node.OperandExpressionTreeNode method) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode method) DONT_CARE_VALUE (in module tt.definitions.operands) DuplicateSymbolError

E

EmptyExpressionError error_pos (tt.errors.grammar.GrammarError property) eval_func (tt.definitions.operators.BooleanOperator property) evaluate() (tt.trees.tree_node.BinaryOperatorExpressionTreeNode method) (tt.trees.tree_node.ExpressionTreeNode method) (tt.trees.tree_node.OperandExpressionTreeNode method) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode method)

EvaluationError expr_str (tt.errors.grammar.GrammarError property) ExpressionOrderError ExpressionTreeNode (class in tt.trees.tree_node) ExtraSymbolError

G

GrammarError

I

InvalidArgumentTypeError InvalidArgumentValueError InvalidBooleanValueError InvalidIdentifierError is_cnf (tt.trees.tree_node.ExpressionTreeNode property)

is_dnf (tt.trees.tree_node.ExpressionTreeNode property) is_really_unary (tt.trees.tree_node.ExpressionTreeNode property) is_valid_identifier() (in module tt.definitions.operands) iter_clauses() (tt.trees.tree_node.ExpressionTreeNode method) iter_cnf_clauses() (tt.trees.tree_node.ExpressionTreeNode method) iter_dnf_clauses() (tt.trees.tree_node.ExpressionTreeNode method)

L

l_child (tt.trees.tree_node.ExpressionTreeNode property)

M

MAX_OPERATOR_STR_LEN (in module tt.definitions.operators) message (tt.errors.base.TtError property) MissingSymbolError module tt.definitions tt.definitions.grammar tt.definitions.operands tt.definitions.operators tt.errors tt.errors.arguments tt.errors.base tt.errors.evaluation tt.errors.grammar tt.errors.state tt.errors.symbols tt.trees tt.trees.tree_node

N

negated_symbol_set (tt.trees.tree_node.ExpressionTreeNode property) NoEvaluationVariationError

non_negated_symbol_set (tt.trees.tree_node.ExpressionTreeNode property) NON_PRIMITIVE_OPERATORS (in module tt.definitions.operators)

O

OperandExpressionTreeNode (class in tt.trees.tree_node) operator (tt.trees.tree_node.BinaryOperatorExpressionTreeNode property) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode property)

OPERATOR_MAPPING (in module tt.definitions.operators)

P

PLAIN_ENGLISH_OPERATOR_MAPPING (in module tt.definitions.operators)

precedence (tt.definitions.operators.BooleanOperator property)

R

r_child (tt.trees.tree_node.ExpressionTreeNode property) RequiredArgumentError

RequiresFullTableError RequiresNormalFormError

S

StateError symbol_name (tt.trees.tree_node.ExpressionTreeNode property)

SymbolError SYMBOLIC_OPERATOR_MAPPING (in module tt.definitions.operators)

T

to_cnf() (tt.trees.tree_node.ExpressionTreeNode method) to_primitives() (tt.trees.tree_node.BinaryOperatorExpressionTreeNode method) (tt.trees.tree_node.ExpressionTreeNode method) (tt.trees.tree_node.OperandExpressionTreeNode method) (tt.trees.tree_node.UnaryOperatorExpressionTreeNode method) tt.definitions module tt.definitions.grammar module tt.definitions.operands module tt.definitions.operators module tt.errors module tt.errors.arguments module tt.errors.base module tt.errors.evaluation module

tt.errors.grammar module tt.errors.state module tt.errors.symbols module tt.trees module tt.trees.tree_node module TT_AND_OP (in module tt.definitions.operators) TT_IMPL_OP (in module tt.definitions.operators) TT_NAND_OP (in module tt.definitions.operators) TT_NOR_OP (in module tt.definitions.operators) TT_NOT_OP (in module tt.definitions.operators) TT_OR_OP (in module tt.definitions.operators) TT_XNOR_OP (in module tt.definitions.operators) TT_XOR_OP (in module tt.definitions.operators) TtError

U

UnaryOperatorExpressionTreeNode (class in tt.trees.tree_node)

UnbalancedParenError