• Check that axioms are still valid (this check is done via syntax check)

    Parameters

    • _axioms: GraphAxiom[]

    Returns void

Generated using TypeDoc