Skip to content

Instantly share code, notes, and snippets.

View sea-bass's full-sized avatar

Sebastian Castro sea-bass

View GitHub Profile
@sea-bass
sea-bass / pddlstream_sample_stream.pddl
Created December 26, 2020 12:37
Sample PDDLStream stream definition for Task and Motion Planning with the Toyota HSR
(define (stream hsr_stream)
; DIST: Distance between two locations
(:function (Dist ?l1 ?l2)
(and (Location ?l1) (Location ?l2))
)
; PICKPLACECOST: Cost to perform pick and place at a location
(:function (PickPlaceCost ?l ?o)
(and (Location ?l) (Obj ?o))
@sea-bass
sea-bass / pddlstream_sample_domain.pddl
Created December 26, 2020 12:27
Sample PDDL domain for Task and Motion Planning with the Toyota HSR
(define (domain hsr_tamp)
(:requirements :strips :equality)
(:predicates
; Static Predicates
(Robot ?r) ; Represents the robot
(Obj ?o) ; Object representation
(Location ?l) ; Location representation
(Room ?m) ; Room representation
(Type ?t) ; Type of location or object
(GraspAng ?q) ; Grasp angle