Instance instance_010

Name	instance_010
Classes	[Root] Planning (2188) Hydraulic System (2188) Hydraulic Timed Planning (2129) instances-monica (1601) ins-10-0 (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(li12,open). stuck(lha,closed). stuck(lm2,open). has_leak(ffi345). h(in_state(ffi345,open),0). stuck(fi12,open). stuck(rx345,closed). stuck(lx12,open). has_leak(loha). h(in_state(loha,open),0). has_leak(ffm3). h(in_state(ffm3,open),0). stuck(fm3,open). %%%%%%%%%%%% GOALS %%%%%%%%%%%%% % Maneuver to be performed: plus_yaw goal(T,fwd_rcs) :- time(T), h(maneuver_of(plus_yaw,fwd_rcs),T). goal(T,left_rcs) :- time(T), h(maneuver_of(plus_yaw,left_rcs),T). goal(T,right_rcs) :- time(T), h(maneuver_of(plus_yaw,right_rcs),T).

Actions