Uses of Class
org.qedeq.kernel.se.dto.module.LatexListVo

Packages that use LatexListVo

org.qedeq.kernel.se.dto.module	Value objects for QEDEQ modules.
org.qedeq.kernel.xml.handler.module	Handler to parse qedeq XML modules.

Uses of LatexListVo in org.qedeq.kernel.se.dto.module

Methods in org.qedeq.kernel.se.dto.module with parameters of type LatexListVo

void	RuleVo.setDescription(LatexListVo description) Set description.
void	ChangedRuleVo.setDescription(LatexListVo description) Set description.
void	PropositionVo.setDescription(LatexListVo description) Set description.
void	FunctionDefinitionVo.setDescription(LatexListVo description) Set description.
void	AxiomVo.setDescription(LatexListVo description) Set description.
void	InitialPredicateDefinitionVo.setDescription(LatexListVo description) Set description.
void	PredicateDefinitionVo.setDescription(LatexListVo description) Set description.
void	InitialFunctionDefinitionVo.setDescription(LatexListVo description) Set description.
void	SectionVo.setIntroduction(LatexListVo introduction) Set LaTeX introduction text.
void	ChapterVo.setIntroduction(LatexListVo introduction) Set chapter introduction text.
void	LiteratureItemVo.setItem(LatexListVo item) Set literature reference for this item.
void	SubsectionVo.setLatex(LatexListVo latexText) Set LaTeX text for this subsection.
void	NodeVo.setName(LatexListVo name) Set node name.
void	NodeVo.setPrecedingText(LatexListVo precedingText) Set preceding LaTeX text.
void	FormalProofVo.setPrecedingText(LatexListVo precedingText) Set preceding LaTeX text.
void	NodeVo.setSucceedingText(LatexListVo succeedingText) Set succeeding LaTeX text.
void	FormalProofVo.setSucceedingText(LatexListVo succeedingText) Set succeeding LaTeX text.
void	HeaderVo.setSummary(LatexListVo summary) Set module summary text.
void	SectionVo.setTitle(LatexListVo title) Set section title.
void	ChapterVo.setTitle(LatexListVo title) Set chapter title.
void	NodeVo.setTitle(LatexListVo title) Set node title.
void	SubsectionVo.setTitle(LatexListVo title) Set title of this subsection.
void	HeaderVo.setTitle(LatexListVo title) Set module title.

Uses of LatexListVo in org.qedeq.kernel.xml.handler.module

Methods in org.qedeq.kernel.xml.handler.module that return LatexListVo

LatexListVo

LatexListHandler.getLatexList() Get parsed result.