Instance instance_137

Name	instance_137
Classes	[Root] Planning (2188) Hydraulic System (2188) Hydraulic Timed Planning (2129) instances-monica (1601) ins-5-3 (200)
Submitter	Max Ostrowski
Author	NASA
Description
Created	2009-08-19 16:11
Modified	2009-08-19 16:11
Languages	lparse Gringo 2.0.2 Clingcon 0.1.2
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	%%%%%%%%% Initial Situation %%%%%%%%%% %%%%%%%%% FAULTS and OTHER EXCEPTIONS %%%%%%%%%% stuck(lom2,closed). stuck(lx345,closed). stuck(rom1,open). stuck(ffm2,closed). stuck(rm5,open). stuck_at(fmc4_w4,fmc4_g1,1). stuck_at(fmc3_w60,fmc3_g2,1). stuck_at(fmc3_w60,fmc3_g2,1). %%%%%%%%%%%% GOALS %%%%%%%%%%%%% % Maneuver to be performed: plus_pitch goal(T,fwd_rcs) :- time(T), h(maneuver_of(plus_pitch,fwd_rcs),T). goal(T,left_rcs) :- time(T), h(maneuver_of(plus_pitch,left_rcs),T). goal(T,right_rcs) :- time(T), h(maneuver_of(plus_pitch,right_rcs),T).

Actions