Class: Bparity::Formal::Deductive::Term

Inherits:

Object

• Object
• Bparity::Formal::Deductive::Term

Defined in:

lib/bparity/formal/deductive.rb

Instance Attribute Summary

• #smt ⇒ Object readonly

  Returns the value of attribute smt.

• #sort ⇒ Object readonly

  Returns the value of attribute sort.

Instance Method Summary

• #evaluate(context) ⇒ Object
• #initialize(smt, sort, &evaluator) ⇒ Term constructor

  A new instance of Term.

Constructor Details

#initialize(smt, sort, &evaluator) ⇒ Term

Returns a new instance of Term.

# File 'lib/bparity/formal/deductive.rb', line 13

def initialize(smt, sort, &evaluator)
  @smt = smt
  @sort = sort
  @evaluator = evaluator
end

Instance Attribute Details

#smt ⇒ Object (readonly)

Returns the value of attribute smt.

# File 'lib/bparity/formal/deductive.rb', line 11

def smt
  @smt
end

#sort ⇒ Object (readonly)

Returns the value of attribute sort.

# File 'lib/bparity/formal/deductive.rb', line 11

def sort
  @sort
end

Instance Method Details

#evaluate(context) ⇒ Object

# File 'lib/bparity/formal/deductive.rb', line 19

def evaluate(context) = @evaluator.call(context)