Package org.aspsimon.termcomp.entity

This package contains all the Hibernate entities required for the Termination Competition.

See:
Description

Interface Summary

TPInterface

A generic interface for the termination problems in the TPDB.

Class Summary

Category	Represents a category in the Competition.
Competition	This class represents an instance of a competition which is to be run by the batch processing component.
Deadline	Represents a deadline during which submission of tools is not possible.
FPProblem	Deprecated. since Version 1.0.2
FPProgram	This class represents a Functional Programming problem for use in the competition.
LPProblem	Deprecated. since Version 1.0.2
LPProgram	This class represents a Logic Programming problem for use in the competition.
Result	This class is the single result returned by a ToolImplementation for a given problem.
SRSProblem	Deprecated. since Version 1.0.2
Team	This class represents a Team.
TerminationProblem	This class is the main parent class for the TerminationProblems.
TestRun	Deprecated. This functionality was more easily implemented in Competition.
Tool	This class represents a tool submitted by a single user or a Team.
ToolImplementation	This class represents a single implementation (version) of a tool.
TPAnyList	Deprecated. since Version 1.0.2
TRS	This is the base class for Term Rewriting Systems.
TRSProblem	Deprecated. since Version 1.0.2
User	This class represents a user.
UserRole	This class represents a certain Role that can be granted to a user.

Enum Summary

SRSProblem.Strategy
TRS.ConditionType	Possible values for the type of conditional rules.
TRS.ProblemType	Possible values for the type of problem.
TRS.Status	Possible values for the known termination status of a TRS.
TRS.Strategy	Possible strategies which can be applied to a TRS.
TRS.Theory	Possible values for theories used in equations.
TRSProblem.Strategy

Package org.aspsimon.termcomp.entity Description

This package contains all the Hibernate entities required for the Termination Competition.