Methods in org.qedeq.kernel.xml.handler.module with parameters of type SimpleAttributes |
void |
LatexHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
ConditionalProofHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
SubstFuncvarHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
UniversalHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
AddHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
RenameHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
SubsectionListHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
ChapterHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
LatexListHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
HeaderHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
ChangedRuleHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
SubstFreevarHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
NodeHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
PropositionHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
HypothesisHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
SubstPredvarHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
PredicateDefinitionHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
FormulaHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
LiteratureItemHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
FormalProofLineListHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
QedeqHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
InitialPredicateDefinitionHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
ConclusionHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
AxiomHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
AuthorListHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
TermHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
ExistentialHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
InitialFunctionDefinitionHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
UsedByListHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
ProofHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
ImportListHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
SubsectionHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
SpecificationHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
ModusPonensHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
AuthorHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
RuleHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
FormalProofHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
SectionHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
FunctionDefinitionHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|
void |
LiteratureItemListHandler.startElement(java.lang.String name,
SimpleAttributes attributes)
|