class Axiom

Attributes

formula[R]

Public Class Methods

new(formula) click to toggle source
# File lib/rover_prover/processor/commands.rb, line 9
def initialize(formula)
  @formula = formula
end