Package org.aspsimon.termcomp.entity.xtc

This package contains JIBX generated code for easily marshalling and unmarshalling XTC files.

See:
Description

Class Summary

Arg	Schema fragment(s) for this class:
Arity	Schema fragment(s) for this class:
Author	Schema fragment(s) for this class:
Automaton	Schema fragment(s) for this class:
Automatonstuff	Schema fragment(s) for this class:
Comment	Schema fragment(s) for this class:
Condition	Schema fragment(s) for this class:
Conditions	Schema fragment(s) for this class:
Conditiontype	Schema fragment(s) for this class:
ConstructorBased	Schema fragment(s) for this class:
Date	Schema fragment(s) for this class:
Entry	Schema fragment(s) for this class:
Full	Schema fragment(s) for this class:
Funapp	Schema fragment(s) for this class:
Funcsym	Schema fragment(s) for this class:
Lhs	Schema fragment(s) for this class:
Maybe	Schema fragment(s) for this class:
Metainformation	Schema fragment(s) for this class:
Name	Schema fragment(s) for this class:
No	Schema fragment(s) for this class:
Originalfilename	Schema fragment(s) for this class:
Problem	This is the root element representing a termination problem.
Relrules	Schema fragment(s) for this class:
Replacementmap	Schema fragment(s) for this class:
Rhs	Schema fragment(s) for this class:
Rule	Schema fragment(s) for this class:
Rules	Schema fragment(s) for this class:
Signature	Schema fragment(s) for this class:
Startterm	Schema fragment(s) for this class:
Status	This tag shows the termination status of this problem, if known.
Strategy	Schema fragment(s) for this class:
Theory	Schema fragment(s) for this class:
Trs	Schema fragment(s) for this class:
Var	Schema fragment(s) for this class:
Yes	Schema fragment(s) for this class:
Yes.YesInner	Schema fragment(s) for this class:

Enum Summary

Conditiontype.ConditiontypeInner	Schema fragment(s) for this class:
Problem.Type	Schema fragment(s) for this class:
Strategy.StrategyInner	Schema fragment(s) for this class:
Theory.TheoryInner	Schema fragment(s) for this class:

Package org.aspsimon.termcomp.entity.xtc Description

This package contains JIBX generated code for easily marshalling and unmarshalling XTC files.