Class: Longjing::PDDL::Equal

Inherits:

Literal

• Object
• Literal
• Longjing::PDDL::Equal

Defined in:

lib/longjing/pddl/literal.rb

Direct Known Subclasses

EqualFormula

Instance Attribute Summary

• #left ⇒ Object readonly

  Returns the value of attribute left.

• #right ⇒ Object readonly

  Returns the value of attribute right.

Attributes inherited from Literal

#ff_goal, #ff_layer, #ff_neg_goal

Instance Method Summary

• #initialize(left, right) ⇒ Equal constructor

  A new instance of Equal.

• #inspect ⇒ Object
• #substitute(variables) ⇒ Object
• #to_s ⇒ Object

Methods inherited from Literal

#applicable?, #apply, #to_a

Constructor Details

#initialize(left, right) ⇒ Equal

Returns a new instance of Equal.

# File 'lib/longjing/pddl/literal.rb', line 146

def initialize(left, right)
  @left, @right = left, right
end

Instance Attribute Details

#left ⇒ Object (readonly)

Returns the value of attribute left.

# File 'lib/longjing/pddl/literal.rb', line 145

def left
  @left
end

#right ⇒ Object (readonly)

Returns the value of attribute right.

# File 'lib/longjing/pddl/literal.rb', line 145

def right
  @right
end

Instance Method Details

#inspect ⇒ Object

# File 'lib/longjing/pddl/literal.rb', line 158

def inspect
  "(= #{@left.inspect} #{@right.inspect})"
end

#substitute(variables) ⇒ Object

# File 'lib/longjing/pddl/literal.rb', line 150

def substitute(variables)
  variables[@left] == variables[@right] ? EMPTY : nil
end

#to_s ⇒ Object

# File 'lib/longjing/pddl/literal.rb', line 154

def to_s
  "(= #{@left} #{@right})"
end