Index - S
| 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 |