Class: Remove

Inherits:

Object

Object
Remove

Defined in:: lib/rover_prover/processor/commands.rb

Instance Attribute Summary collapse

#formula ⇒ Object readonly

Returns the value of attribute formula.

Instance Method Summary collapse

#initialize(formula) ⇒ Remove constructor

A new instance of Remove.

Constructor Details

#initialize(formula) ⇒ `Remove`

Returns a new instance of Remove.



23
24
25

# File 'lib/rover_prover/processor/commands.rb', line 23

def initialize(formula)
  @formula = formula
end

Instance Attribute Details

#formula ⇒ `Object` (readonly)

Returns the value of attribute formula.



22
23
24

# File 'lib/rover_prover/processor/commands.rb', line 22

def formula
  @formula
end