- i -

• INHERITS_FROM() : DependencyBase , DependencyCore , FormulaDependency , CheckerBase , BeEnc , NodeWalker , TraceTable , TraceXmlDumper , NormalizerBase , Trace , GenericTrans , BoolEnc , NormalizerCore , EnvObject , LogicRecognizerBase , NormalizerPsl , LogicRecognizerCore , MasterLogicRecognizer , CheckerCore , BoolSexpFsm , PrinterBase , PrinterIWffCore , SexpFsm , PrinterPsl , PrinterSexpCore , TracePlugin , TraceExplainer , TraceEmpty , TraceCompact , TraceXmlLoader , TraceLoader , SATRestartPartialTraceExecutor , SATPartialTraceExecutor , SATCompleteTraceExecutor , PartialTraceExecutor , CompleteTraceExecutor , BDDPartialTraceExecutor , BDDCompleteTraceExecutor , BaseTraceExecutor , BaseEvaluator , SimulateState , SatZchaff , SatMinisat , SatSolver , SatIncSolver , PropDb , Prop_Rewriter , Prop , FlattenerBase , CheckerPsl , HrcDumper , PrinterWffCore , HrcDumperAnonymizer , CheckerStatement , HrcDumperDebug , HrcDumperSmv , DependencyPsl , MasterNodeWalker , PrinterNonAmbiguousDot , NodeAnonymizerST , NodeAnonymizerDot , NodeAnonymizerBase , NodeAnonymizerAtom , HrcNode , FlattenerCore , DDMgr , HrcDumperXml , BaseEnc , MasterCompileFlattener , BoolEncClient , BddEnc
• InlineRes_destroy() : InlineRes
• InlineRes_get_equivalences() : InlineRes
• InlineRes_get_equivalences_expr() : InlineRes
• InlineRes_get_inlined_expr() : InlineRes
• InlineRes_get_invariant_expr() : InlineRes
• InlineRes_get_invariants() : InlineRes
• InlineRes_get_original_expr() : InlineRes
• InlineRes_get_result() : InlineRes
• InlineRes_get_result_unique() : InlineRes
• InlineResult_copy() : InlineResult
• InlineResult_create() : InlineResult
• InlineResult_destroy() : InlineResult
• InlineResult_get_c() : InlineResult
• InlineResult_get_inlined_f() : InlineResult
• InlineResult_get_inlined_f_and_c() : InlineResult
• InlineResult_get_original_f() : InlineResult