Class: Bparity::Formal::Transition

Inherits:

Struct

• Object
• Struct
• Bparity::Formal::Transition

Defined in:

lib/bparity/formal/lts.rb

Instance Attribute Summary

• #from ⇒ Object

  Returns the value of attribute from.

• #input ⇒ Object

  Returns the value of attribute input.

• #output ⇒ Object

  Returns the value of attribute output.

• #to ⇒ Object

  Returns the value of attribute to.

Instance Method Summary

• #to_h ⇒ Object

Instance Attribute Details

#from ⇒ Object

Returns the value of attribute from

Returns:

• (Object) —

  the current value of from

# File 'lib/bparity/formal/lts.rb', line 29

def from
  @from
end

#input ⇒ Object

Returns the value of attribute input

Returns:

• (Object) —

  the current value of input

# File 'lib/bparity/formal/lts.rb', line 29

def input
  @input
end

#output ⇒ Object

Returns the value of attribute output

Returns:

• (Object) —

  the current value of output

# File 'lib/bparity/formal/lts.rb', line 29

def output
  @output
end

#to ⇒ Object

Returns the value of attribute to

Returns:

• (Object) —

  the current value of to

# File 'lib/bparity/formal/lts.rb', line 29

def to
  @to
end

Instance Method Details

#to_h ⇒ Object

# File 'lib/bparity/formal/lts.rb', line 30

def to_h = { "from" => from, "input" => input, "output" => output, "to" => to }