DataValue

class DataValue(*args: Any, **kwargs: Any)[source]

Bases: Value

Abstract base class for data values.

template_class: alias of DataValueTemplate

variable_class: alias of DataValueVariable

class DataValueTemplate(*args: Any, **kwargs: Any)[source]

Bases: ValueTemplate

Abstract base class for data value templates.

object_class: alias of DataValue

class DataValueVariable(name: str | None = None, variable_class: type[Variable] | type[Term] | None = None)[source]

Bases: ValueVariable

Data value variable.

Parameters:: name – Name.

object_class: alias of DataValue