Class: Factbase::And

Inherits:

TermBase

• Object
• TermBase
• Factbase::And

Defined in:

lib/factbase/terms/and.rb

Overview

The ‘and’ term that represents a logical AND operation between multiple operands.

Instance Method Summary

• #evaluate(fact, maps, fb) ⇒ Boolean

  Evaluate term on a fact.

• #initialize(operands) ⇒ And constructor

  Constructor.

• #simplify ⇒ Object

Methods included from TermShared

#to_s

Constructor Details

#initialize(operands) ⇒ And

Constructor.

Parameters:

• operands (Array) —

  Operands

# File 'lib/factbase/terms/and.rb', line 13

def initialize(operands)
  super()
  @operands = operands
  @op = :and
end

Instance Method Details

#evaluate(fact, maps, fb) ⇒ Boolean

Evaluate term on a fact.

Parameters:

• fact (Factbase::Fact) —

  The fact

• maps (Array<Factbase::Fact>) —

  All maps available

Returns:

• (Boolean) —

  True if all operands evaluate to true, false otherwise

# File 'lib/factbase/terms/and.rb', line 23

def evaluate(fact, maps, fb)
  (0..(@operands.size - 1)).each do |i|
    return false unless Factbase::Boolean.new(_values(i, fact, maps, fb), @operands[i]).bool?
  end
  true
end

#simplify ⇒ Object

# File 'lib/factbase/terms/and.rb', line 30

def simplify
  unique = Factbase::Simplified.new(@operands).unique
  return unique[0] if unique.size == 1
  Factbase::Term.new(@op, unique)
end