concepts.pdsketch.regression_rule.SubgoalCSPSerializability#

class SubgoalCSPSerializability[source]#

Bases: JacEnum

Methods

from_string(value)

type_name()

Return the type name of the enum.

choice_names()

Returns the list of the name of all possible choices.

choice_objs()

Returns the list of the object of all possible choices.

choice_values()

Returns the list of the value of all possible choices.

is_valid(value)

Check if the value is a valid choice.

assert_valid(value)

Assert if the value is a valid choice.

Attributes

classmethod __getitem__(name)#

Return the member matching name.

classmethod __iter__()#

Return members in definition order.

classmethod __len__()#

Return the number of members (no aliases)

__new__(value)#
classmethod assert_valid(value)#

Assert if the value is a valid choice.

classmethod choice_names()#

Returns the list of the name of all possible choices.

classmethod choice_objs()#

Returns the list of the object of all possible choices.

classmethod choice_values()#

Returns the list of the value of all possible choices.

classmethod from_string(value)#
Parameters:

value (str | JacEnum)

Return type:

JacEnum

classmethod is_valid(value)#

Check if the value is a valid choice.

classmethod type_name()#

Return the type name of the enum.

FORALL = 'forall'#
NONE = 'none'#
SOME = 'some'#