Index
| addIfdef | EditPatterns |
| addIfdefElse_ElseBranch | EditPatterns |
| addIfdefElse_ElseBranchWithPC | EditPatterns |
| addIfdefElse_IfBranch | EditPatterns |
| addIfdefElse_IfBranchWithPC | EditPatterns |
| addIfdefWithPC | EditPatterns |
| addIfdefWrapElse | EditPatterns |
| addIfdefWrapThen | EditPatterns |
| addNormalCode_nonvariational | EditPatterns |
| addNormalCode_outerpc | EditPatterns |
| alsoShowInitialStateInHistory | Main |
| ancestors | Tree |
| Assignment | Propositions |
| assure | NullPropositions |
| AST | AST |
| astFormat | Main |
| ASTPrettyPrinter | ASTPrettyPrinter |
| astToTikz | TikzExport |
| astToTikzRecursive | TikzExport |
| astToTikzWithTrace | TikzExport |
| astToTikzWithTraceDefault | TikzExport |
| binarify | Truthtable |
| binarytable | Truthtable |
| buildPCName | EditPatterns |
| cartesian | Truthtable |
| cartesianOr | Propositions |
| clausifyCNF | Propositions |
| cloneDef | StackPopAlice |
| cloneRetStatement | StackPopAlice |
| cloneStorage | StackPopAlice |
| CodePrintStyle | Main |
| codeStyle | Main |
| code_else | EditPatterns |
| code_then | EditPatterns |
| Colour | Main |
| ColourPalette | FeatureColour |
| colours | Example |
| condTree | StackPopAlice |
| contradicts | SAT |
| createPatternExample | EditPatterns |
| createPatternExampleWithStartTrace | EditPatterns |
| defaultFeatureFormulaColouring | FeatureColour |
| defaultFeatureTraceRecording | DefaultFeatureTraceRecording |
| defaulthfillto | Truthtable |
| defaultlinewidth | Truthtable |
| Defunctor | Defunctor |
| Delete | Edits |
| delta | Edits |
| demap | Defunctor |
| Edit | |
| 1 (Type/Class) | Edits |
| 2 (Data Constructor) | Edits |
| EditScript | Edits |
| EditType | Edits |
| edittype | Edits |
| edit_del_node | Edits |
| edit_del_tree | Edits |
| edit_identity | Edits |
| edit_ins_tree | Edits |
| edit_move_tree | Edits |
| edit_trace_only | Edits |
| edit_update | Edits |
| element | Tree |
| emptyfile | EditPatterns |
| emptyTrace | FeatureTrace |
| eval | Propositions |
| Example | |
| 1 (Type/Class) | Example |
| 2 (Data Constructor) | Example |
| example | |
| 1 (Function) | StackPopAlice |
| 2 (Function) | StackPopBob |
| Feature | Feature |
| FeatureColourPalette | FeatureColour |
| featureColourPalette | StackPopBob |
| featurecolours | |
| 1 (Function) | StackPopAlice |
| 2 (Function) | EditPatterns |
| FeatureContext | FeatureTraceRecording |
| FeatureFormula | Feature |
| FeatureFormulaColourPalette | FeatureColour |
| featuresToTikzClass | TikzExport |
| FeatureTrace | FeatureTrace |
| FeatureTraceRecording | FeatureTraceRecording |
| feature_FOO | EditPatterns |
| feature_ImmutableStack | StackPopAlice |
| feature_m | EditPatterns |
| feature_SafeStack | StackPopAlice |
| filterNodes | Tree |
| filterTrees | Tree |
| finalizeExample | Example |
| find | Tree |
| findByGrammarType | AST |
| findById | AST |
| findByNode | Tree |
| findByValue | AST |
| foldEditScript | Edits |
| generatetruthtablesfor | Truthtable |
| genIndent | Util |
| getRange | ListUtil |
| Grammar | Grammar |
| grammartype | AST |
| headline | Main |
| hfillto | Truthtable |
| History | FeatureTraceRecording |
| history | Example |
| Identity | Edits |
| Insert | Edits |
| insertAtIndex | ListUtil |
| insertListAtIndex | ListUtil |
| isCNF | Propositions |
| isleaf | Tree |
| isLiteral | Propositions |
| isnull | NullPropositions |
| isPFalse | Propositions |
| isPTrue | Propositions |
| land | Logic |
| lazyToCNF | Propositions |
| lequals | Logic |
| leval | Logic |
| lfalse | Logic |
| liftBool | Propositions |
| limplies | Logic |
| lnot | Logic |
| Logic | Logic |
| lor | Logic |
| ltrue | Logic |
| lvalues | Logic |
| main | Main |
| Mandatory | Grammar |
| manipulate | Tree |
| Move | Edits |
| name | |
| 1 (Function) | Edits |
| 2 (Function) | Example |
| newReturnType | StackPopAlice |
| next | UUID |
| Node | |
| 1 (Type/Class) | AST |
| 2 (Data Constructor) | AST |
| node | AST |
| NodeType | Grammar |
| nodetypeof | Grammar |
| None | Main |
| NonNullFeatureFormula | Feature |
| nothingIf | Util |
| notnull | NullPropositions |
| NullableFormula | NullPropositions |
| nullableFormula_values | Main |
| nullable_simplify | NullPropositions |
| nullifyMandatory | DefaultFeatureTraceRecording |
| Optional | Grammar |
| optionalAncestors | AST |
| optionaltype | AST |
| OutputFormat | |
| 1 (Type/Class) | Main |
| 2 (Data Constructor) | Main |
| PAnd | Propositions |
| parenIf | Util |
| parent | Tree |
| PC | Main |
| pc | FeatureTrace |
| pc_parentpart | FeatureTrace |
| PFalse | Propositions |
| PNot | Propositions |
| POr | Propositions |
| prettybinarytable | Truthtable |
| prettyPrint | |
| 1 (Function) | NullPropositions |
| 2 (Function) | Tree |
| 3 (Function) | FeatureTrace |
| 4 (Function) | ASTPrettyPrinter |
| prettyunarytable | Truthtable |
| printASTWithTrace | Main |
| printTraces | Main |
| PropositionalFormula | Propositions |
| propositional_values | Main |
| PTrue | Propositions |
| PVariable | Propositions |
| RecordedEdit | FeatureTraceRecording |
| RecordingFunction | FeatureTraceRecording |
| remIfdef | EditPatterns |
| remNormalCode_notnull | EditPatterns |
| remNormalCode_null | EditPatterns |
| removeDuplicates | ListUtil |
| removeFirstAndLast | Util |
| removeIndex | ListUtil |
| removeQuotes | Util |
| removeRange | ListUtil |
| removeRedundancy | Simplify |
| removeTheRedundanciesWeIntroduced | DefaultFeatureTraceRecording |
| reversefoldr | Util |
| rootName | EditPatterns |
| run | Edits |
| runExample | Example |
| runExampleWithDefaultFTR | Example |
| runFTR | FeatureTraceRecording |
| runFTRWithIntermediateSteps | FeatureTraceRecording |
| runStepwise | Main |
| r_del | DefaultFeatureTraceRecording |
| r_id | DefaultFeatureTraceRecording |
| r_ins | DefaultFeatureTraceRecording |
| r_move | DefaultFeatureTraceRecording |
| r_trace | DefaultFeatureTraceRecording |
| r_up | DefaultFeatureTraceRecording |
| safeFromJust | Util |
| safehead | ListUtil |
| safetree | Tree |
| sat | SAT |
| satAssignment | SAT |
| ShowAST | Main |
| ShowCode | Main |
| showCode | ASTPrettyPrinter |
| showCodeAs | ASTPrettyPrinter |
| showExamples | Main |
| ShowTikz | Main |
| showTruthtables | Main |
| SimpleJavaGrammar | SimpleJava |
| simplify | Propositions |
| simplifyFeatureTrace | FeatureTrace |
| simplifyFeatureTraceOfNodes | FeatureTrace |
| SJavaAST | SimpleJava |
| SJavaState | SimpleJava |
| SJava_Args | SimpleJava |
| sjava_args | SimpleJava |
| SJava_Assignment | SimpleJava |
| sjava_assignment | SimpleJava |
| SJava_BinaryOp | SimpleJava |
| sjava_binaryop | SimpleJava |
| SJava_Condition | SimpleJava |
| sjava_condition | SimpleJava |
| sjava_expr | SimpleJava |
| SJava_Expression | SimpleJava |
| SJava_ExprStatement | SimpleJava |
| sjava_exprstatement | SimpleJava |
| SJava_File | SimpleJava |
| sjava_file | SimpleJava |
| SJava_FuncCall | SimpleJava |
| sjava_funccall | SimpleJava |
| SJava_Literal | SimpleJava |
| sjava_literal | SimpleJava |
| SJava_MethodDef | SimpleJava |
| sjava_methoddef | SimpleJava |
| SJava_ParametersDef | SimpleJava |
| sjava_parametersdef | SimpleJava |
| SJava_Return | SimpleJava |
| sjava_return | SimpleJava |
| SJava_Statements | SimpleJava |
| sjava_statements | SimpleJava |
| SJava_Type | SimpleJava |
| sjava_type | SimpleJava |
| SJava_UnaryOp | SimpleJava |
| sjava_unaryop | SimpleJava |
| SJava_VarDecl | SimpleJava |
| sjava_vardecl | SimpleJava |
| SJava_VarRef | SimpleJava |
| sjava_varref | SimpleJava |
| somefunction | EditPatterns |
| SSJavaAST | SimpleJava |
| startTree | StackPopAlice |
| startVersion | Example |
| takeIf | Util |
| taut | SAT |
| tautCounterExample | SAT |
| Text | Main |
| tikzFormat | Main |
| tikzifyName | TikzExport |
| toCNF | Propositions |
| toCNFClauseList | Propositions |
| toDNFClauseList | Propositions |
| toFeature | Feature |
| toInt | UUID |
| toIntCNF | SAT |
| toNNF | Propositions |
| toset | Tree |
| Trace | Main |
| TraceDisplay | Main |
| traceDisplay | Main |
| TraceOnly | Edits |
| TraceStyle | Main |
| traceStyle | Main |
| Tree | |
| 1 (Type/Class) | Tree |
| 2 (Data Constructor) | Tree |
| tree | Tree |
| unarytable | Truthtable |
| Update | Edits |
| userFormat | Main |
| userFormatDetailed | Main |
| UUID | UUID |
| uuid | AST |
| uuidOf | AST |
| value | AST |
| Version | FeatureTraceRecording |
| withTraceLines | Main |
| Wrapper | Grammar |