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