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