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

`AND`
`OR`
`NOT`
`XOR`
`IMPLIES`

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'#