Documentation
    Preparing search index...

    Function assumeGraphAxioms

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

      Parameters

      • _axioms: GraphAxiom[]

      Returns void