Functions
numeric_axiom_rules Namespace Reference

Functions

def axiom_by_PNE
def compute_axiom_layers
def handle_axioms
def identify_constants
def identify_equivalent_axioms

Function Documentation

Definition at line 10 of file numeric_axiom_rules.py.

def numeric_axiom_rules.compute_axiom_layers (   axioms,
  constant_axioms,
  axiom_by_pne 
)

Definition at line 59 of file numeric_axiom_rules.py.

Definition at line 3 of file numeric_axiom_rules.py.

def numeric_axiom_rules.identify_constants (   axioms,
  axiom_by_pne 
)

Definition at line 13 of file numeric_axiom_rules.py.

def numeric_axiom_rules.identify_equivalent_axioms (   axioms_by_layer,
  axiom_by_pne 
)

Definition at line 96 of file numeric_axiom_rules.py.



tfd_modules
Author(s): Maintained by Christian Dornhege (see AUTHORS file).
autogenerated on Mon Oct 6 2014 07:52:06