SEPModules
2.2.1
API Documentation
maths
SEPLogic
Exceptions
Connective Bases
Logical Connective Enum
Connective Format Protocols
Proposition Protocols
Propositions
Proposition
Atomic Proposition
Truth constants
SEPQBF
PQBF
SEPAlgebra
Algebraic Structures
Semigroup
Monoid
Group
Abelian Group
Ring
Field
SEPPrinting
Color Printing
ANSI Control Sequences
Printing Utilities
SEPLogger
Logger Levels
Logger
SEPIO
Console Arguments
SEPDecorators
Decorator Utils
Decorators
SEPUtils
Exceptions
Immutable
Singleton
Stack Frame Info
Functions
Examples
Test
SEPModules
»
Index
Index
_
|
A
|
B
|
C
|
D
|
E
|
F
|
G
|
H
|
I
|
J
|
L
|
M
|
N
|
O
|
P
|
Q
|
R
|
S
|
T
|
V
|
W
_
__bool__() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
__contains__() (SEPModules.SEPIO.ConsoleArguments method)
__eq__() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
__ge__() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
__getitem__() (SEPModules.SEPIO.ConsoleArguments method)
__gt__() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
__iter__() (SEPModules.SEPIO.ConsoleArguments method)
__le__() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
__lt__() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
_Connective (class in SEPModules.maths.SEPLogic)
_load_arguments() (SEPModules.SEPIO.ConsoleArguments method)
_local_print() (SEPModules.SEPLogger.Logger method)
_next_id() (SEPModules.maths.SEPLogic.AtomicProposition static method)
_next_volatile_name() (SEPModules.maths.SEPLogic.AtomicProposition class method)
_provide_timestamp() (SEPModules.SEPLogger.Logger method)
A
AbelianGroup (class in SEPModules.maths.SEPAlgebra)
abstract_not_implemented() (in module SEPModules.SEPUtils)
AlgebraicStructure (class in SEPModules.maths.SEPAlgebra)
AnsiControl (class in SEPModules.SEPPrinting)
arity (SEPModules.maths.SEPLogic._Connective property)
Assignment (in module SEPModules.maths.SEPLogic)
atomic (SEPModules.maths.SEPLogic.Proposition property)
AtomicProposition (class in SEPModules.maths.SEPLogic)
B
binary_operator (SEPModules.maths.SEPAlgebra.Semigroup property)
binary_operators (SEPModules.maths.SEPAlgebra.AlgebraicStructure property)
Bottom (in module SEPModules.maths.SEPLogic)
C
cl_s() (in module SEPModules.SEPPrinting)
CNF() (SEPModules.maths.SEPLogic.Proposition method)
color_string() (in module SEPModules.SEPPrinting)
connective (SEPModules.maths.SEPLogic.Proposition property)
ConnectiveArity (class in SEPModules.maths.SEPLogic)
ConnectiveFormat (class in SEPModules.maths.SEPLogic)
ConnectiveFormat.Entry (class in SEPModules.maths.SEPLogic)
ConsoleArgsError
ConsoleArguments (class in SEPModules.SEPIO)
copy() (SEPModules.maths.SEPLogic.AtomicProposition method)
(SEPModules.maths.SEPLogic.Proposition method)
copy_func_attrs() (in module SEPModules.SEPDecorators)
D
debug() (SEPModules.SEPLogger.Logger method)
DefaultLevel (class in SEPModules.SEPLogger)
description (SEPModules.maths.SEPLogic.ConnectiveArity property)
DNF() (SEPModules.maths.SEPLogic.Proposition method)
E
Element (in module SEPModules.maths.SEPAlgebra)
elements (SEPModules.maths.SEPAlgebra.AlgebraicStructure property)
elements_without_zero (SEPModules.maths.SEPAlgebra.Ring property)
empty (SEPModules.maths.SEPLogic.Proposition property)
enumeration (SEPModules.maths.SEPLogic.ConnectiveFormat property)
ERROR (in module SEPModules.SEPLogger)
error_str() (in module SEPModules.SEPPrinting)
eval() (SEPModules.maths.SEPLogic.AtomicProposition method)
(SEPModules.maths.SEPLogic.Proposition method)
(SEPModules.maths.SEPLogic.SupportsEval method)
expand() (SEPModules.maths.SEPLogic.Proposition method)
F
FATAL_ERROR (in module SEPModules.SEPLogger)
Field (class in SEPModules.maths.SEPAlgebra)
find_inverses() (SEPModules.maths.SEPAlgebra.Ring method)
(SEPModules.maths.SEPAlgebra.Semigroup method)
find_inverses_per_operator() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
format() (SEPModules.maths.SEPLogic.ConnectiveFormat method)
from_traceback() (SEPModules.maths.SEPLogic.LogicSyntaxError static method)
(SEPModules.SEPUtils.SEPSyntaxError static method)
G
get_appropriate_time_unit() (in module SEPModules.SEPPrinting)
get_debug() (SEPModules.SEPLogger.Level class method)
get_errors() (SEPModules.SEPLogger.Level class method)
get_instance() (SEPModules.SEPUtils.Singleton class method)
Group (class in SEPModules.maths.SEPAlgebra)
H
has_inverses() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
(SEPModules.maths.SEPAlgebra.Ring method)
(SEPModules.maths.SEPAlgebra.Semigroup method)
I
id (SEPModules.maths.SEPLogic.AtomicProposition property)
Immutable (class in SEPModules.SEPUtils)
ImmutableMeta (class in SEPModules.SEPUtils)
INFO (in module SEPModules.SEPLogger)
is_associative() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
(SEPModules.maths.SEPAlgebra.Ring method)
(SEPModules.maths.SEPAlgebra.Semigroup method)
is_closed() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
(SEPModules.maths.SEPAlgebra.Ring method)
(SEPModules.maths.SEPAlgebra.Semigroup method)
is_commutative() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
(SEPModules.maths.SEPAlgebra.Ring method)
(SEPModules.maths.SEPAlgebra.Semigroup method)
is_distributive() (SEPModules.maths.SEPAlgebra.Ring method)
is_valid() (SEPModules.maths.SEPAlgebra.AbelianGroup method)
(SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
(SEPModules.maths.SEPAlgebra.Field method)
(SEPModules.maths.SEPAlgebra.Group method)
(SEPModules.maths.SEPAlgebra.Monoid method)
(SEPModules.maths.SEPAlgebra.Ring method)
(SEPModules.maths.SEPAlgebra.Semigroup method)
J
joiner (SEPModules.maths.SEPLogic.ConnectiveFormat.Entry property)
L
Level (class in SEPModules.SEPLogger)
level_class (SEPModules.SEPLogger.Logger property)
level_mask (SEPModules.SEPLogger.Logger property)
LevelType (class in SEPModules.SEPLogger)
limboole_eval() (SEPModules.maths.SEPLogic.SupportsLimbooleEval method)
literal (SEPModules.maths.SEPLogic.Proposition property)
lock() (in module SEPModules.SEPDecorators)
log() (SEPModules.SEPLogger.Logger method)
Logger (class in SEPModules.SEPLogger)
Logger.log_call() (in module SEPModules.SEPLogger.Logger)
Logger.log_class() (in module SEPModules.SEPLogger.Logger)
LogicalConnective (class in SEPModules.maths.SEPLogic)
LogicError
LogicSyntaxError
M
method (SEPModules.maths.SEPLogic._Connective property)
min_level (SEPModules.SEPLogger.Logger property)
model() (SEPModules.maths.SEPLogic.Proposition method)
module
SEPModules.maths.SEPAlgebra
SEPModules.maths.SEPLogic
SEPModules.maths.SEPQBF
SEPModules.SEPIO
SEPModules.SEPLogger
SEPModules.SEPUtils
Monoid (class in SEPModules.maths.SEPAlgebra)
N
neutral_elements() (SEPModules.maths.SEPAlgebra.AlgebraicStructure method)
(SEPModules.maths.SEPAlgebra.Ring method)
(SEPModules.maths.SEPAlgebra.Semigroup method)
newline() (SEPModules.SEPLogger.Logger method)
NoElement (in module SEPModules.maths.SEPAlgebra)
NoElementType (in module SEPModules.maths.SEPAlgebra)
normalize() (SEPModules.maths.SEPLogic.AtomicProposition static method)
(SEPModules.maths.SEPLogic.Proposition static method)
O
OK (in module SEPModules.SEPLogger)
operand_check (SEPModules.maths.SEPLogic.ConnectiveArity property)
Operator (in module SEPModules.maths.SEPAlgebra)
P
partial_eval() (SEPModules.maths.SEPLogic.Proposition method)
PQBF (class in SEPModules.maths.SEPQBF)
prefix (SEPModules.maths.SEPLogic.ConnectiveFormat.Entry property)
print_colors (SEPModules.SEPPrinting attribute)
Proposition (class in SEPModules.maths.SEPLogic)
propositions (SEPModules.maths.SEPLogic.Proposition property)
Q
quantified (SEPModules.maths.SEPLogic.Proposition property)
quantifier (SEPModules.maths.SEPLogic.Proposition property)
R
reduce() (SEPModules.maths.SEPLogic.Proposition method)
repr_str() (in module SEPModules.SEPPrinting)
required (SEPModules.SEPIO.ConsoleArguments property)
Ring (class in SEPModules.maths.SEPAlgebra)
S
sat() (SEPModules.maths.SEPLogic.Proposition method)
seen_atomic_propositions (SEPModules.maths.SEPLogic.Proposition property)
seen_connectives (SEPModules.maths.SEPLogic.Proposition property)
Semigroup (class in SEPModules.maths.SEPAlgebra)
SEPModules.maths.SEPAlgebra
module
SEPModules.maths.SEPLogic
module
SEPModules.maths.SEPQBF
module
SEPModules.SEPIO
module
SEPModules.SEPLogger
module
SEPModules.SEPUtils
module
SEPSyntaxError
set_args (SEPModules.SEPIO.ConsoleArguments property)
set_kwargs (SEPModules.SEPIO.ConsoleArguments property)
set_pars (SEPModules.SEPIO.ConsoleArguments property)
set_total (SEPModules.SEPIO.ConsoleArguments property)
simplify_neg() (SEPModules.maths.SEPLogic.Proposition method)
SingleStackFrameInfo (class in SEPModules.SEPUtils)
Singleton (class in SEPModules.SEPUtils)
SingletonMeta (class in SEPModules.SEPUtils)
StackFrameInfo (class in SEPModules.SEPUtils)
strength (SEPModules.maths.SEPLogic._Connective property)
suffix (SEPModules.maths.SEPLogic.ConnectiveFormat.Entry property)
SupportsConnectiveFormat (class in SEPModules.maths.SEPLogic)
SupportsEval (class in SEPModules.maths.SEPLogic)
SupportsLimbooleEval (class in SEPModules.maths.SEPLogic)
SupportsLogicalConnective (class in SEPModules.maths.SEPLogic)
SupportsToLaTeX (class in SEPModules.maths.SEPLogic)
SupportsToLimboole (class in SEPModules.maths.SEPLogic)
SupportsToPrettyPrint (class in SEPModules.maths.SEPLogic)
syntactically_equal() (SEPModules.maths.SEPLogic.Proposition method)
T
test_for_closure (SEPModules.maths.SEPAlgebra.AlgebraicStructure property)
time_str() (in module SEPModules.SEPPrinting)
timed() (in module SEPModules.SEPDecorators)
timed_return() (in module SEPModules.SEPDecorators)
to_latex() (SEPModules.maths.SEPLogic.SupportsToLaTeX method)
to_limboole() (SEPModules.maths.SEPLogic.SupportsToLimboole method)
to_pretty_print() (SEPModules.maths.SEPLogic.SupportsToPrettyPrint method)
Top (in module SEPModules.maths.SEPLogic)
V
valid() (SEPModules.maths.SEPLogic.Proposition method)
VERBOSE (in module SEPModules.SEPLogger)
volatile_name (SEPModules.maths.SEPLogic.AtomicProposition property)
W
WARNING (in module SEPModules.SEPLogger)
WRAPPER_PREFIX (in module SEPModules.SEPDecorators)