Class: Longjing::PDDL::EqualFormula

Inherits:

Equal

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

Defined in:

lib/longjing/pddl/literal.rb

Instance Attribute Summary

Attributes inherited from Equal

#left, #right

Attributes inherited from Literal

#ff_goal, #ff_layer, #ff_neg_goal

Instance Method Summary

• #substitute(variables) ⇒ Object

Methods inherited from Equal

#initialize, #inspect, #to_s

Methods inherited from Literal

#applicable?, #apply, #to_a

Constructor Details

This class inherits a constructor from Longjing::PDDL::Equal

Instance Method Details

#substitute(variables) ⇒ Object

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

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