concepts.dsl.expression.BoolOpType#

class BoolOpType[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.

AND = 'and'#
IMPLIES = 'implies'#
NOT = 'not'#
OR = 'or'#
XOR = 'xor'#