FrameIT
FactRecorder.cs File Reference

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