forall

PDDL forall effect with durative actions

风格不统一 提交于 2020-08-09 07:36:47
问题 I am both using durative actions and trying to be able to clear a predicate over all elements of a certain type. See below. Is this possible? If so, does anyone know the correct syntax? Thanks! (:durative-action init :parameters (?r - robot) :duration ( = ?duration 1) :condition (and (at start (robot_uninitialized ?r)) (at start (robot_free ?r)) ) :effect (and (at start(not(robot_free ?r))) (at end (assign (robot_on_fastener_number_in_sequence) 1)) (at end (not(robot_uninitialized ?r))) (at

PDDL forall effect with durative actions

亡梦爱人 提交于 2020-08-09 07:35:09
问题 I am both using durative actions and trying to be able to clear a predicate over all elements of a certain type. See below. Is this possible? If so, does anyone know the correct syntax? Thanks! (:durative-action init :parameters (?r - robot) :duration ( = ?duration 1) :condition (and (at start (robot_uninitialized ?r)) (at start (robot_free ?r)) ) :effect (and (at start(not(robot_free ?r))) (at end (assign (robot_on_fastener_number_in_sequence) 1)) (at end (not(robot_uninitialized ?r))) (at

Insert bulk records in to remote database (dblink) using Bulk Collect

大兔子大兔子 提交于 2020-01-04 07:42:07
问题 I want to insert huge records from different tables in to a destination remote table 'Audition_Detail' using DBLINK - @FMATLINK. I have used Bulk collect, but its throwing errors. I have gone through some links too: Overcoming the restriction on bulk inserts over a database link PLS-00394: Wrong number of values in the INTO list of a fetch statement The code is as follows: DECLARE TYPE FETCH_ARRAY IS TABLE OF AUDITION_DETAIL@FMATLINK%ROWTYPE; A_DATA FETCH_ARRAY; CURSOR A_CUR IS --------------

PL/SQL No Data found error on forall loop

荒凉一梦 提交于 2020-01-03 01:22:27
问题 I am getting no data found error while looping over an array. The execute immediate has data, but the forall loop is giving no data found error and not able to iterate over the collection. Please find the code below. code_arr.FIRST seems to have some issue. Table has data and executing sql gives data on editor. Could you please help. create or replace PACKAGE TEST AS FUNCTION TEST RETURN NUMBER; END; create or replace PACKAGE BODY TEST AS FUNCTION TEST RETURN NUMBER IS TYPE typ_varchar IS

How to implement `forall` (mathematics) in a procedural or OO language

不羁岁月 提交于 2020-01-02 12:16:12
问题 I am trying to understand how to implement forall in a procedural or OO language like Ruby or JavaScript. For example (this is Coq): Axiom point : Type. Axiom line : Type. Axiom lies_in : point -> line -> Prop. Axiom ax : forall (p1 p2 : point), p1 <> p2 -> exists! l : line, lies_in p1 l /\ lies_in p2 l. My attempt at doing this is just defining a class such as this (call MainAxiom == ax ). class MainAxiom attr :p1 attr :p2 def initialize raise 'Invalid' if @p1 == @p2 l = Line.new check_lies

Bulk insert using FORALL in Oracle

僤鯓⒐⒋嵵緔 提交于 2019-12-11 15:14:50
问题 I am currently using the following code to do a bulk insert of 50 million rows: declare cnt number; BEGIN select max(run_ver_issue_id) into cnt from "ABHINAV"."MV_RUN_VER_ISSUE"; FOR x IN 1 .. 50000000 LOOP INSERT INTO "ABHINAV"."MV_RUN_VER_ISSUE" NOLOGGING ("RUN_VER_ISSUE_ID","CUST_ISSUE_ID","TITLE","ORIGINAL_ISSUE_ID","SOURCE_FILE_LINE","DISPLAY_TEXT","RUN_VER_ID","SANDBOX_SRC_FILE_ID","ACCOUNT_ID","ISSUE_STATE","CURRENT_SEVERITY","INSERT_TS","MODIFIED_TS","CWE_ID","TEMPLATE_FILE_ID",

GeneralizedNewtypeDeriving fails for PersistFieldSql

女生的网名这么多〃 提交于 2019-12-07 04:05:53
问题 I'm trying to define a Markdown newtype, and using GeneralizedNewtypeDeriving to automatically define new instances: import Text.Markdown import Yesod.Text.Markdown import Database.Persist.Sql newtype MarkdownNewT = MarkdownNewT { getMarkdown :: Markdown } deriving (Eq, IsString, Monoid, PersistField, PersistFieldSql) This fails for the PersistFieldSql with the following message: Could not coerce from ‘m Markdown’ to ‘m MarkdownNewT’ because ‘m Markdown’ and ‘m MarkdownNewT’ are different

How to implement `forall` (mathematics) in a procedural or OO language

安稳与你 提交于 2019-12-06 05:24:39
I am trying to understand how to implement forall in a procedural or OO language like Ruby or JavaScript. For example (this is Coq): Axiom point : Type. Axiom line : Type. Axiom lies_in : point -> line -> Prop. Axiom ax : forall (p1 p2 : point), p1 <> p2 -> exists! l : line, lies_in p1 l /\ lies_in p2 l. My attempt at doing this is just defining a class such as this (call MainAxiom == ax ). class MainAxiom attr :p1 attr :p2 def initialize raise 'Invalid' if @p1 == @p2 l = Line.new check_lies_in(l, @p1) check_lies_in(l, @p2) end def check_lies_in(line, point) ... end end This has all kinds of

GeneralizedNewtypeDeriving fails for PersistFieldSql

不羁岁月 提交于 2019-12-05 10:28:17
I'm trying to define a Markdown newtype, and using GeneralizedNewtypeDeriving to automatically define new instances: import Text.Markdown import Yesod.Text.Markdown import Database.Persist.Sql newtype MarkdownNewT = MarkdownNewT { getMarkdown :: Markdown } deriving (Eq, IsString, Monoid, PersistField, PersistFieldSql) This fails for the PersistFieldSql with the following message: Could not coerce from ‘m Markdown’ to ‘m MarkdownNewT’ because ‘m Markdown’ and ‘m MarkdownNewT’ are different types. arising from the coercion of the method ‘sqlType’ from type ‘forall (m :: * -> *). Monad m => m

Coq convert non exist to forall statement

岁酱吖の 提交于 2019-12-02 15:59:10
问题 I'm new to Coq. Here's my problem. I have a statement says: H : forall x : term, ~ (exists y : term, P x y /\ ~ P y x) I guess it is equivalent to: forall x y : term, (P x y /\ ~ P y x) -> false But which tactic can I use to convert the hypothesis? 回答1: I don't know of a tactic to turn not-exists into forall-not, but you can always just assert and prove it. (If you need that repeatedly, you can pack that up into an Ltac tactic definition or a simple theorem[1].) Here's three ways of getting