Class: Axiom

Inherits:

Object

Object
Axiom

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) ⇒ Axiom constructor

A new instance of Axiom.

Constructor Details

#initialize(formula) ⇒ `Axiom`

Returns a new instance of Axiom.



9
10
11

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

def initialize(formula)
  @formula = formula
end

Instance Attribute Details

#formula ⇒ `Object` (readonly)

Returns the value of attribute formula.



8
9
10

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

def formula
  @formula
end