Package ru.ispras.fortress.data
-
Interface Summary Interface Description Random.Engine TheRandom.Engine
interface is a common interface to be implemented by all generation engines.Random.Initializer The Initializer interface is to be implemented by objects that are responsible for initializing some specific generation engine.Random.TypedGenerator The TypedGenerator interface is a common interface for objects that are responsible for generating data of some specific type. -
Class Summary Class Description Data TheData
class is a storage of data being processed.DataType TheDataType
class stores information about data types used by the solver engine.Random Random.CompositeEngine TheRandom.CompositeEngine
class is a reusable implementation of the Engine interface.Variable TheVariable
class describes a variable that can be used as input or output data in constraints. -
Enum Summary Enum Description DataTypeId TheDataTypeId
enumeration is used to specify type of data a solver operates with.DataTypeId.Attribute