|
FrameIT
|
Classes | |
| class | FactRecorder |
| Organizes (insertion/ deletion / etc. operations) and sepperates Fact spaces. Keeps track of insertion/ deletion actions for undo and redo. More... | |
| struct | FactRecorder.stepnote |
| Keeps track of insertion/ deletion/ etc. operations for undo and redo More... | |
| struct | FactRecorder.meta |
| Each Fact entry in MyFactSpace has a corresponding meta entry in MetaInf. The meta struct is a collection of meta-variables. <seealsocref="PruneWorkflow"/> More... | |
| class | FactRecorder.GlobalFactDictionary |