module Tensai::Pddl::DataTypes

Types for argument validations

Types for argument validations

Constants

Name
Term
Terms
VariableList

Public Instance Methods

InstanceOf(type) click to toggle source
# File lib/tensai/pddl/data_types.rb, line 18
def InstanceOf(type)
  Base::Instance(type)
end
ListOf(type) click to toggle source
# File lib/tensai/pddl/data_types.rb, line 22
def ListOf(type)
  InstanceOf(NamedList)
    .constructor(->(elements) { NamedList.new(type, elements) })
end