• Check that axioms are fulfilled

    Returns void

Generated using TypeDoc