Class: Bparity::Formal::Deductive::Translation

Inherits:

Struct

• Object
• Struct
• Bparity::Formal::Deductive::Translation

Defined in:

lib/bparity/formal/deductive.rb

Instance Attribute Summary

• #method_name ⇒ Object

  Returns the value of attribute method_name.

• #parameters ⇒ Object

  Returns the value of attribute parameters.

• #source ⇒ Object

  Returns the value of attribute source.

• #term ⇒ Object

  Returns the value of attribute term.

Instance Attribute Details

#method_name ⇒ Object

Returns the value of attribute method_name

Returns:

• (Object) —

  the current value of method_name

# File 'lib/bparity/formal/deductive.rb', line 22

def method_name
  @method_name
end

#parameters ⇒ Object

Returns the value of attribute parameters

Returns:

• (Object) —

  the current value of parameters

# File 'lib/bparity/formal/deductive.rb', line 22

def parameters
  @parameters
end

#source ⇒ Object

Returns the value of attribute source

Returns:

• (Object) —

  the current value of source

# File 'lib/bparity/formal/deductive.rb', line 22

def source
  @source
end

#term ⇒ Object

Returns the value of attribute term

Returns:

• (Object) —

  the current value of term

# File 'lib/bparity/formal/deductive.rb', line 22

def term
  @term
end