Api Defaults
Interface for the defaults of the API given installed plugins.
- class APIDefault
Bases:
ABC- abstractmethod default_rule_matcher()
Return the default rule matcher for the API.
- Return type:
- abstractmethod default_deductors()
Return the default deductors for the API.
- Return type:
list[Deductor]
- abstractmethod default_deductive_agent()
Return the default deductive agent for the API.
- Return type:
- abstractmethod callback(proof_state)
Callback function to be called after each step of the proof.
- Return type:
None