fact: Definition ClassifierSig : ADTSig := ADTsignature { Constructor "Init" : rep, Method "AddRule" : rep * RuleRecord -> rep * bool, Method "Classify" : rep * Packet -> rep * (list RuleRecord) }.
imports: Fiat.QueryStructure.Automation.MasterPlan