class Bpl::AST::AxiomDeclaration

Public Instance Methods

abstract() { |{ description: "weakening axiom", weight: count, action: proc do replace_children(:expression, bpl("true")) end }| ... } click to toggle source
# File lib/bpl/passes/transformation/abstraction.rb, line 57
def abstract
  unless expression.is_a?(BooleanLiteral)
    yield({
      description: "weakening axiom",
      weight: count,
      action: Proc.new do
        replace_children(:expression, bpl("true"))
      end
    })
  end
end
show(&blk) click to toggle source
# File lib/bpl/ast/declaration.rb, line 41
def show(&blk)
  "#{yield :axiom} #{show_attrs(&blk)} #{yield @expression};".fmt
end