public interface TheoremLoaderCommitListener
This is used by the LogicalSystem to keep track of which objects need to be told that the TheoremLoader has just stored a MMTTheoremSet in the LogicalSystem.
Modifier and Type | Method and Description |
---|---|
void |
commit(MMTTheoremSet mmtTheoremSet)
mmj Object wishing notification of a TheoremLoader commit.
|
void commit(MMTTheoremSet mmtTheoremSet)
mmtTheoremSet
- Set of TheoremStmtGroup updates now committed