class edge_label

Denotes the conditions under which control can flow along an edge: a component of a ( point , edge_label ).

edge_label Details

class cs.edge_label

Denotes the conditions under which control can flow along an edge: a component of a ( point , edge_label ).

__init__(val)

Constructor for a boolean edge_label .

Parameters:val (bool) – Set to True for the “T” edge label, False for the “F” edge label.
>>> edge_label(True)
<cs.edge_label T>
__cmp__(other)

Comparison function for edge_label .

Parameters:other (edge_label) – The edge_label object to compare against.
Return type:int
Returns:An integer N such that:
  • N==0 if the two objects compare equal
  • N<0 if self < other
  • N>0 if self > other
>>> edge_label(True).__cmp__(edge_label(False))
-1
__eq__(b)

Equality operator for edge_label .

Parameters:b (edge_label) – The edge_label to compare against.
Return type:bool
Returns:True if self and b compare equal, False otherwise.
>>> edge_label(True) == edge_label(False)
False
__ge__(b)

Greater-than-or-equal operator for edge_label .

Parameters:b (edge_label) – The edge_label to compare against.
Return type:bool
Returns:True if self >= b , False otherwise.
>>> edge_label(True) >= edge_label(False)
False
__gt__(b)

Greater-than operator for edge_label .

Parameters:b (edge_label) – The edge_label to compare against.
Return type:bool
Returns:True if self > b , False otherwise.
>>> edge_label(True) > edge_label(False)
False
__hash__()

Get a hash value for a edge_label .

Return type:int
>>> hash(edge_label(True))
4294967294
__le__(b)

Less-than-or-equal operator for edge_label .

Parameters:b (edge_label) – The edge_label to compare against.
Return type:bool
Returns:True if self <= b , False otherwise.
>>> edge_label(True) <= edge_label(False)
True
__lt__(b)

Less-than operator for edge_label .

Parameters:b (edge_label) – The edge_label to compare against.
Return type:bool
Returns:True if self < b , False otherwise.
>>> edge_label(True) < edge_label(False)
True
__ne__(b)

Inequality operator for edge_label .

Parameters:b (edge_label) – The edge_label to compare against.
Return type:bool
Returns:False if self and b compare equal, True otherwise.
>>> edge_label(True) != edge_label(False)
True
__repr__()

Get a representation of a edge_label object that includes information useful for debugging.

Return type:str
Returns:The string representation.
>>> repr(edge_label(True))
'<cs.edge_label T>'
__str__()

Get a simple string representation of a edge_label object.

Return type:str
Returns:The string representation.
>>> str(edge_label(True))
'T'
name()

Get the string representation of an edge_label .

Return type:str
Returns:The string representation.
>>> edge_label(True).name()
'T'