2019-03-17 14:40:57 +02:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2020-04-14 19:56:54 +03:00
< title > Backdrops< / title >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-03-19 02:11:25 +02:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
2019-03-17 14:40:57 +02:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-05-03 03:01:21 +03:00
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Contents.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Progress.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Navigation.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Fonts.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Base.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-03 03:01:21 +03:00
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-09 15:07:39 +03:00
< link href = "../docs-assets/Preform-Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-14 19:56:54 +03:00
2019-03-17 14:40:57 +02:00
< / head >
2020-05-03 03:01:21 +03:00
< body class = "commentary-font" >
2020-03-19 02:11:25 +02:00
< nav role = "navigation" >
2022-04-28 19:37:28 +03:00
< h1 > < a href = "../index.html" >
2020-05-03 18:34:53 +03:00
< img src = "../docs-assets/Inform.png" height = 72" >
2020-04-14 19:56:54 +03:00
< / a > < / h1 >
2022-04-28 19:37:28 +03:00
< ul > < li > < a href = "../index.html" > home< / a > < / li >
2022-04-04 20:31:44 +03:00
< / ul > < h2 > Compiler< / h2 > < ul >
< li > < a href = "../structure.html" > structure< / a > < / li >
< li > < a href = "../inbuildn.html" > inbuild< / a > < / li >
< li > < a href = "../inform7n.html" > inform7< / a > < / li >
< li > < a href = "../intern.html" > inter< / a > < / li >
< li > < a href = "../services.html" > services< / a > < / li >
2022-04-18 17:46:46 +03:00
< li > < a href = "../secrets.html" > secrets< / a > < / li >
2022-04-04 20:31:44 +03:00
< / ul > < h2 > Other Tools< / h2 > < ul >
< li > < a href = "../inblorbn.html" > inblorb< / a > < / li >
< li > < a href = "../indocn.html" > indoc< / a > < / li >
< li > < a href = "../inform6.html" > inform6< / a > < / li >
< li > < a href = "../inpolicyn.html" > inpolicy< / a > < / li >
< li > < a href = "../inrtpsn.html" > inrtps< / a > < / li >
2022-04-06 13:14:15 +03:00
< / ul > < h2 > Resources< / h2 > < ul >
< li > < a href = "../extensions.html" > extensions< / a > < / li >
< li > < a href = "../kits.html" > kits< / a > < / li >
2022-04-04 20:31:44 +03:00
< / ul > < h2 > Repository< / h2 > < ul >
< li > < a href = "https://github.com/ganelson/inform" > < img src = "../docs-assets/github.png" height = 18 > github< / a > < / li >
< / ul > < h2 > Related Projects< / h2 > < ul >
2022-04-28 19:20:06 +03:00
< li > < a href = "../../../inweb/index.html" > inweb< / a > < / li >
< li > < a href = "../../../intest/index.html" > intest< / a > < / li >
2020-03-19 02:11:25 +02:00
2020-04-14 19:56:54 +03:00
< / ul >
2020-03-19 02:11:25 +02:00
< / nav >
< main role = "main" >
2020-05-03 03:01:21 +03:00
<!-- Weave of 'Backdrops' generated by Inweb -->
< div class = "breadcrumbs" >
2022-04-28 19:37:28 +03:00
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../inform7n.html" > Inform7< / a > < / li > < li > < a href = "index.html" > if< / a > < / li > < li > < a href = "index.html#3" > Chapter 3: Space and Time< / a > < / li > < li > < b > Backdrops< / b > < / li > < / ul > < / div >
2022-09-01 02:14:18 +03:00
< p class = "purpose" > A feature to provide support for backdrop objects, which are present as scenery in multiple rooms at once.< / p >
2019-03-17 14:40:57 +02:00
2021-06-22 01:37:27 +03:00
< ul class = "toc" > < li > < a href = "3-bck.html#SP2" > § 2. Instances< / a > < / li > < li > < a href = "3-bck.html#SP3" > § 3. Kinds< / a > < / li > < li > < a href = "3-bck.html#SP6" > § 6. Properties< / a > < / li > < li > < a href = "3-bck.html#SP9" > § 9. Everywhere< / a > < / li > < li > < a href = "3-bck.html#SP11" > § 11. Model completion< / a > < / li > < li > < a href = "3-bck.html#SP12" > § 12. Inference families< / a > < / li > < / ul > < hr class = "tocbar" >
2019-03-17 14:40:57 +02:00
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. < / b > While we normally assume that nothing can be in more than one place at
2019-03-17 14:40:57 +02:00
once, backdrops are an exception. These are intended to represent widely
2021-02-25 02:15:09 +02:00
spread, probably background, things, such as the sky, and then placing one
inside something generates < span class = "extract" > < span class = "extract-syntax" > found_in_inf< / span > < / span > rather than < span class = "extract" > < span class = "extract-syntax" > parentage_inf< / span > < / span >
2019-03-17 14:40:57 +02:00
inferences to avoid piling up bogus inconsistencies.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-25 02:15:09 +02:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::start< / span > < button class = "popup" onclick = "togglePopup('usagePopup1')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup1" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::start< / span > < / span > :< br / > IF Module - < a href = "1-im.html#SP5" > § 5< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < a href = "3-bck.html#SP13" class = "function-link" > < span class = "function-syntax" > Backdrops::create_inference_families< / span > < / a > < span class = "plain-syntax" > ();< / span >
2022-09-01 02:14:18 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PluginCalls::plug< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NEW_BASE_KIND_NOTIFY_PLUG< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP5" class = "function-link" > < span class = "function-syntax" > Backdrops::new_base_kind_notify< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PluginCalls::plug< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NEW_SUBJECT_NOTIFY_PLUG< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP2" class = "function-link" > < span class = "function-syntax" > Backdrops::new_subject_notify< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PluginCalls::plug< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > NEW_PROPERTY_NOTIFY_PLUG< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP7" class = "function-link" > < span class = "function-syntax" > Backdrops::new_property_notify< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PluginCalls::plug< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > COMPLETE_MODEL_PLUG< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP11" class = "function-link" > < span class = "function-syntax" > Backdrops::complete_model< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PluginCalls::plug< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INTERVENE_IN_ASSERTION_PLUG< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP10" class = "function-link" > < span class = "function-syntax" > Backdrops::intervene_in_assertion< / span > < / a > < span class = "plain-syntax" > );< / span >
2021-02-23 13:10:22 +02:00
< span class = "plain-syntax" > }< / span >
2021-05-19 00:20:35 +03:00
< / pre >
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. Instances. < / b > Every inference subject contains a pointer to its own unique copy of the
following minimal structure, though it will only be relevant for instances of
"backdrop":
< / p >
2021-02-23 13:10:22 +02:00
2022-09-01 02:14:18 +03:00
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "identifier-syntax" > BACKDROPS_DATA< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > FEATURE_DATA_ON_INSTANCE< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > backdrops< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > )< / span >
2021-05-19 00:20:35 +03:00
< / pre >
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > backdrops_data< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > found_in_fn_iname< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > many_places< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CLASS_DEFINITION< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > backdrops_data< / span > < span class = "plain-syntax" > ;< / span >
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::new_subject_notify< / span > < button class = "popup" onclick = "togglePopup('usagePopup2')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup2" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::new_subject_notify< / span > < / span > :< br / > < a href = "3-bck.html#SP1" > § 1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > subj< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > backdrops_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > backdrops_data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > found_in_fn_iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > many_places< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2022-09-01 02:14:18 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > ATTACH_FEATURE_DATA_TO_SUBJECT< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > backdrops< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > subj< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > );< / span >
2021-02-23 13:10:22 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-05-19 00:20:35 +03:00
< ul class = "endnotetexts" > < li > The structure backdrops_data is private to this section.< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. Kinds. < / b > This a kind name to do with backdrops which Inform provides special support
2019-03-17 14:40:57 +02:00
for; it recognises the English name when defined by the Standard Rules. (So
there is no need to translate this to other languages.)
< / p >
2021-02-25 02:15:09 +02:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< / pre >
2021-05-19 00:20:35 +03:00
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. < / b > < / p >
2021-02-25 02:15:09 +02:00
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < notable-backdrops-kinds> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > backdrop< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-20 02:02:28 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2021-05-19 00:20:35 +03:00
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-05-19 00:20:35 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::new_base_kind_notify< / span > < button class = "popup" onclick = "togglePopup('usagePopup3')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup3" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::new_base_kind_notify< / span > < / span > :< br / > < a href = "3-bck.html#SP1" > § 1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > new_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < notable-backdrops-kinds> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) { < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > new_base< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ; }< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::object_is_a_backdrop< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > ))) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-05-19 00:20:35 +03:00
< p class = "commentary firstcommentary" > < a id = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. Properties. < / b > This is a property name to do with backdrops which Inform provides special
2019-03-17 14:40:57 +02:00
support for; it recognises the English name when it is defined by the
Standard Rules. (So there is no need to translate this to other languages.)
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < notable-backdrops-properties> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > scenery< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-20 02:02:28 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2021-05-19 00:20:35 +03:00
< p class = "commentary firstcommentary" > < a id = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-25 02:15:09 +02:00
< span class = "identifier-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P_scenery< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > an I7 either/or property marking something as scenery< / span >
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::new_property_notify< / span > < button class = "popup" onclick = "togglePopup('usagePopup4')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup4" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::new_property_notify< / span > < / span > :< br / > < a href = "3-bck.html#SP1" > § 1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > ) {< / span >
2021-05-22 11:49:04 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < notable-backdrops-properties> (prn-> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > ))< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > P_scenery< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::object_is_scenery< / span > < button class = "popup" onclick = "togglePopup('usagePopup5')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup5" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::object_is_scenery< / span > < / span > :< br / > Spatial Model - < a href = "3-sm.html#SP17" > § 17< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-16 21:21:06 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PropertyInferences::either_or_state< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > P_scenery< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-05-19 00:20:35 +03:00
< p class = "commentary firstcommentary" > < a id = "SP8" class = "paragraph-anchor" > < / a > < b > § 8. < / b > Here we look at "in" and "part of" relationships to see if they concern
2021-02-25 02:15:09 +02:00
backdrops; if they do, then they need to become < span class = "extract" > < span class = "extract-syntax" > found_in_inf< / span > < / span > inferences.
2019-03-17 14:40:57 +02:00
Without this intervention, they'd be subject to the usual spatial rules
and text like
< / p >
< blockquote >
< p > The sky is in the Grand Balcony. The sky is in the Vizier's Lawn.< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > would lead to contradiction problem messages.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::assert_relations< / span > < button class = "popup" onclick = "togglePopup('usagePopup6')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup6" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::assert_relations< / span > < / span > :< br / > Spatial Relations - < a href = "3-sr.html#SP4_1" > § 4.1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > binary_predicate< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I1< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > )) & & < / span >
< span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > R_incorporation< / span > < span class = "plain-syntax" > ) ||< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > R_containment< / span > < span class = "plain-syntax" > ) ||< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > R_regional_containment< / span > < span class = "plain-syntax" > ))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I0< / span > < span class = "plain-syntax" > );< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < a href = "3-si.html#SP8" class = "function-link" > < span class = "function-syntax" > SpatialInferences::infer_part_of< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > IMPOSSIBLE_CE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < a href = "3-si.html#SP3" class = "function-link" > < span class = "function-syntax" > SpatialInferences::infer_is_room< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > IMPOSSIBLE_CE< / span > < span class = "plain-syntax" > );< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > = < / span > < a href = "3-bck.html#SP14" class = "function-link" > < span class = "function-syntax" > Backdrops::new_found_in_inference< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > CERTAIN_CE< / span > < span class = "plain-syntax" > );< / span >
2021-02-16 21:21:06 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Inferences::join_inference< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-06-22 01:37:27 +03:00
< p class = "commentary firstcommentary" > < a id = "SP9" class = "paragraph-anchor" > < / a > < b > § 9. Everywhere. < / b > Here we defines a form of noun phrase special to Backdrops (because a backdrop
2019-03-17 14:40:57 +02:00
can be said to be "everywhere", which nothing else can).
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < notable-backdrops-noun-phrases> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > everywhere< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-20 02:02:28 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2021-06-22 01:37:27 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10" class = "paragraph-anchor" > < / a > < b > § 10. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::intervene_in_assertion< / span > < button class = "popup" onclick = "togglePopup('usagePopup7')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup7" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::intervene_in_assertion< / span > < / span > :< br / > < a href = "3-bck.html#SP1" > § 1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > px< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > py< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Node::get_type< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > py< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > EVERY_NT< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < notable-backdrops-noun-phrases> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > py< / span > < span class = "plain-syntax" > )))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Node::get_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > px< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )< / span >
2022-05-05 01:23:12 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > UsingProblems::assertion_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_ValueEverywhere< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "'everywhere' can only be used to place individual backdrops"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so although 'The mist is a backdrop. The mist is everywhere.' "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "would be fine, 'Corruption is everywhere.' would not."< / span > < span class = "plain-syntax" > );< / span >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > KindSubjects::to_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > ))< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::subject_problem_at_sentence< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_KindOfBackdropEverywhere< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "seems to be said to be 'everywhere' in some way"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "which doesn't make sense. An individual backdrop can be 'everywhere', "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "but here we're talking about a whole kind, and it's not allowed "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "to talk about general locations of a whole kind of things at once."< / span > < span class = "plain-syntax" > );< / span >
2021-02-09 23:27:52 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Assert::true_about< / span > < span class = "plain-syntax" > (< / span >
2020-08-23 18:54:14 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Propositions::Abstract::to_put_everywhere< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > prevailing_mood< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-06-22 01:37:27 +03:00
< p class = "commentary firstcommentary" > < a id = "SP11" class = "paragraph-anchor" > < / a > < b > § 11. Model completion. < / b > We intervene only at Stage II, the spatial modelling stage.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-25 02:15:09 +02:00
< span class = "identifier-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P_absent< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > an I6-only property for backdrops out of play< / span >
2019-03-17 14:40:57 +02:00
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::complete_model< / span > < button class = "popup" onclick = "togglePopup('usagePopup8')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup8" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::complete_model< / span > < / span > :< br / > < a href = "3-bck.html#SP1" > § 1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > stage< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-16 02:54:32 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > stage< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > WORLD_STAGE_II< / span > < span class = "plain-syntax" > ) {< / span >
2021-05-11 11:19:15 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > P_absent< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > EitherOrProperties::new_nameless< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "absent"< / span > < span class = "plain-syntax" > );< / span >
2021-10-03 01:52:18 +03:00
< span class = "comment-syntax" > RTProperties::recommend_storing_as_attribute(P_absent, TRUE);< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ;< / span >
2021-02-13 01:46:18 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_INSTANCES< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP11_1" class = "named-paragraph-link" > < span class = "named-paragraph" > If the object is found everywhere, make a found-in property accordingly< / span > < span class = "named-paragraph-number" > 11.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > region_count< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP11_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Find how many rooms or regions the object is found inside< / span > < span class = "named-paragraph-number" > 11.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > < < / span > < span class = "constant-syntax" > 16< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > region_count< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ))< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP11_3" class = "named-paragraph-link" > < span class = "named-paragraph" > The object is found only in a few rooms, and no regions, so make it a list< / span > < span class = "named-paragraph-number" > 11.3< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > + < / span > < span class = "identifier-syntax" > region_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ))< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP11_4" class = "named-paragraph-link" > < span class = "named-paragraph" > The object is found in many rooms or in whole regions, so make it a routine< / span > < span class = "named-paragraph-number" > 11.4< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > )))< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP11_5" class = "named-paragraph-link" > < span class = "named-paragraph" > The object is found nowhere, so give it a stub found-in property and mark it absent< / span > < span class = "named-paragraph-number" > 11.5< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > ) < / span > < a href = "3-tm.html#SP24" class = "function-link" > < span class = "function-syntax" > Map::set_found_in< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-06-22 01:37:27 +03:00
< p class = "commentary firstcommentary" > < a id = "SP11_1" class = "paragraph-anchor" > < / a > < b > § 11.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > If the object is found everywhere, make a found-in property accordingly< / span > < span class = "named-paragraph-number" > 11.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ;< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > found_everywhere_inf< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Rvalues::from_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > FOUND_EVERYWHERE_HL< / span > < span class = "plain-syntax" > ));< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-06-22 01:37:27 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_2" class = "paragraph-anchor" > < / a > < b > § 11.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Find how many rooms or regions the object is found inside< / span > < span class = "named-paragraph-number" > 11.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ;< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > found_in_inf< / span > < span class = "plain-syntax" > ) {< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > = < / span > < a href = "3-bck.html#SP14" class = "function-link" > < span class = "function-syntax" > Backdrops::get_inferred_location< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > K_region< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_region< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > region_count< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-06-22 01:37:27 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_3" class = "paragraph-anchor" > < / a > < b > § 11.3. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The object is found only in a few rooms, and no regions, so make it a list< / span > < span class = "named-paragraph-number" > 11.3< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-12 15:33:19 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::package_within< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INLINE_PROPERTIES_HAP< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > RTInstances::package< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ));< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::make_iname_in< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INLINE_PROPERTY_HL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > );< / span >
2022-03-21 12:32:13 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > EmitArrays::begin_inline< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ;< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > found_in_inf< / span > < span class = "plain-syntax" > )< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > EmitArrays::iname_entry< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > RTInstances::value_iname< / span > < span class = "plain-syntax" > (< / span > < a href = "3-bck.html#SP14" class = "function-link" > < span class = "function-syntax" > Backdrops::get_inferred_location< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > )));< / span >
2021-04-17 17:28:28 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > EmitArrays::end< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > );< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Rvalues::from_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > iname< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-06-22 01:37:27 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_4" class = "paragraph-anchor" > < / a > < b > § 11.4. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The object is found in many rooms or in whole regions, so make it a routine< / span > < span class = "named-paragraph-number" > 11.4< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-05-19 00:20:35 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Rvalues::from_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > RTBackdropInstances::found_in_val< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ));< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-06-22 01:37:27 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP11_5" class = "paragraph-anchor" > < / a > < b > § 11.5. < / b > < span class = "extract" > < span class = "extract-syntax" > absent< / span > < / span > is an I6-only attribute which marks a backdrop has having been removed
2020-05-03 03:01:21 +03:00
from the world model. It's not sufficient for an object's < span class = "extract" > < span class = "extract-syntax" > found_in< / span > < / span > always to
2019-03-17 14:40:57 +02:00
say no to the question "are you in the current location?"; the I6 template
2020-05-03 03:01:21 +03:00
code, derived from the old I6 library, requires < span class = "extract" > < span class = "extract-syntax" > absent< / span > < / span > to be set. So:
2019-03-17 14:40:57 +02:00
< / p >
2021-06-22 01:37:27 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The object is found nowhere, so give it a stub found-in property and mark it absent< / span > < span class = "named-paragraph-number" > 11.5< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-05-19 00:20:35 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > val_of_found_in< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Rvalues::from_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > RTBackdropInstances::found_in_val< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ));< / span >
2021-02-19 02:21:55 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > EitherOrProperties::assert< / span > < span class = "plain-syntax" > (< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > P_absent< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > CERTAIN_CE< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-06-22 01:37:27 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP11" > § 11< / a > .< / li > < / ul >
< p class = "commentary firstcommentary" > < a id = "SP12" class = "paragraph-anchor" > < / a > < b > § 12. Inference families. < / b > Two sorts of inferences are used only for backdrops:
2021-02-25 02:15:09 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-25 02:15:09 +02:00
< span class = "identifier-syntax" > inference_family< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > found_in_inf< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > for backdrop things in many places< / span >
< span class = "identifier-syntax" > inference_family< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > found_everywhere_inf< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > ditto< / span >
< / pre >
2021-06-22 01:37:27 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13" class = "paragraph-anchor" > < / a > < b > § 13. < / b > < / p >
2021-02-25 02:15:09 +02:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::create_inference_families< / span > < button class = "popup" onclick = "togglePopup('usagePopup9')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup9" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::create_inference_families< / span > < / span > :< br / > < a href = "3-bck.html#SP1" > § 1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > found_in_inf< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Inferences::new_family< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "found_in_inf"< / span > < span class = "plain-syntax" > );< / span >
2021-06-22 01:37:27 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > METHOD_ADD< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > found_in_inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > LOG_DETAILS_INF_MTID< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP14" class = "function-link" > < span class = "function-syntax" > Backdrops::log< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > METHOD_ADD< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > found_in_inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > COMPARE_INF_MTID< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP14" class = "function-link" > < span class = "function-syntax" > Backdrops::cmp< / span > < / a > < span class = "plain-syntax" > );< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > found_everywhere_inf< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Inferences::new_family< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "string-syntax" > "found_everywhere_inf"< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-06-22 01:37:27 +03:00
< p class = "commentary firstcommentary" > < a id = "SP14" class = "paragraph-anchor" > < / a > < b > § 14. < / b > < span class = "extract" > < span class = "extract-syntax" > found_in_inf< / span > < / span > infers that the named room is one of the locations of the
2021-02-25 02:15:09 +02:00
backdrop.
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-02-25 02:15:09 +02:00
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > found_in_inference_data< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > location< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CLASS_DEFINITION< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > found_in_inference_data< / span > < span class = "plain-syntax" > ;< / span >
2021-06-22 01:37:27 +03:00
< span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Backdrops::new_found_in_inference< / span > < button class = "popup" onclick = "togglePopup('usagePopup10')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup10" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::new_found_in_inference< / span > < / span > :< br / > < a href = "3-bck.html#SP8" > § 8< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > certitude< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PROTECTED_MODEL_PROCEDURE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > found_in_inference_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > found_in_inference_data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > location< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > InferenceSubjects::divert< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Inferences::create_inference< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > found_in_inf< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > STORE_POINTER_found_in_inference_data< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > certitude< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::log< / span > < button class = "popup" onclick = "togglePopup('usagePopup11')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup11" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::log< / span > < / span > :< br / > < a href = "3-bck.html#SP13" > § 13< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inference_family< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > f< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > found_in_inference_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > RETRIEVE_POINTER_found_in_inference_data< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > location< / span > < span class = "plain-syntax" > ) < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > " in:$j"< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > location< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::cmp< / span > < button class = "popup" onclick = "togglePopup('usagePopup12')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup12" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::cmp< / span > < / span > :< br / > < a href = "3-bck.html#SP13" > § 13< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inference_family< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > f< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > i1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > i2< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > found_in_inference_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > data1< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > RETRIEVE_POINTER_found_in_inference_data< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i1< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > found_in_inference_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > data2< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > RETRIEVE_POINTER_found_in_inference_data< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i2< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Inferences::measure_infs< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > data1< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > location< / span > < span class = "plain-syntax" > ) -< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Inferences::measure_infs< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > data2< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > location< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CI_DIFFER_IN_TOPIC< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > < < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > CI_DIFFER_IN_TOPIC< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Inferences::measure_inf< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i1< / span > < span class = "plain-syntax" > ) - < / span > < span class = "identifier-syntax" > Inferences::measure_inf< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i2< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CI_DIFFER_IN_COPY_ONLY< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > c< / span > < span class = "plain-syntax" > < < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > -< / span > < span class = "identifier-syntax" > CI_DIFFER_IN_COPY_ONLY< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CI_IDENTICAL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2021-06-22 01:37:27 +03:00
< span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "function-syntax" > Backdrops::get_inferred_location< / span > < button class = "popup" onclick = "togglePopup('usagePopup13')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup13" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::get_inferred_location< / span > < / span > :< br / > < a href = "3-bck.html#SP11_2" > § 11.2< / a > , < a href = "3-bck.html#SP11_3" > § 11.3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > family< / span > < span class = "plain-syntax" > != < / span > < span class = "identifier-syntax" > found_in_inf< / span > < span class = "plain-syntax" > ))< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > internal_error< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "not a found_in_inf inf"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > found_in_inference_data< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > RETRIEVE_POINTER_found_in_inference_data< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > i< / span > < span class = "plain-syntax" > -> < / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > InstanceSubjects::to_instance< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > data< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > location< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2021-02-25 02:15:09 +02:00
< ul class = "endnotetexts" > < li > The structure found_in_inference_data is private to this section.< / li > < / ul >
2021-06-22 01:37:27 +03:00
< p class = "commentary firstcommentary" > < a id = "SP15" class = "paragraph-anchor" > < / a > < b > § 15. < / b > < span class = "extract" > < span class = "extract-syntax" > found_everywhere_inf< / span > < / span > infers that the backdrop is visible in every location.
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2021-06-22 01:37:27 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > Backdrops::infer_presence_everywhere< / span > < button class = "popup" onclick = "togglePopup('usagePopup14')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup14" > Usage of < span class = "code-font" > < span class = "function-syntax" > Backdrops::infer_presence_everywhere< / span > < / span > :< br / > Everywhere, Nowhere and Here - < a href = "3-enah.html#SP7" > § 7< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2021-02-25 02:15:09 +02:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::sentence_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (),< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_EverywhereNonBackdrop< / span > < span class = "plain-syntax" > ),< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "only a backdrop can be everywhere"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "and no other kind of object will do. For instance, 'The sky is "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "a backdrop which is everywhere.' is allowed, but 'The travelator "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "is a vehicle which is everywhere.' is not."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Inferences::join_inference< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Inferences::create_inference< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > found_everywhere_inf< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > NULL_GENERAL_POINTER< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > prevailing_mood< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
2022-09-12 01:33:38 +03:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "3-dvc.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "P-wtmd.html" > P< / a > < / li > < li class = "progresschapter" > < a href = "1-im.html" > 1< / a > < / li > < li class = "progresschapter" > < a href = "2-bd.html" > 2< / a > < / li > < li class = "progresscurrentchapter" > 3< / li > < li class = "progresssection" > < a href = "3-sm.html" > sm< / a > < / li > < li class = "progresssection" > < a href = "3-enah.html" > enah< / a > < / li > < li class = "progresssection" > < a href = "3-sr.html" > sr< / a > < / li > < li class = "progresssection" > < a href = "3-si.html" > si< / a > < / li > < li class = "progresssection" > < a href = "3-prs.html" > prs< / a > < / li > < li class = "progresssection" > < a href = "3-tp.html" > tp< / a > < / li > < li class = "progresssection" > < a href = "3-dvc.html" > dvc< / a > < / li > < li class = "progresscurrent" > bck< / li > < li class = "progresssection" > < a href = "3-rgn.html" > rgn< / a > < / li > < li class = "progresssection" > < a href = "3-tm.html" > tm< / a > < / li > < li class = "progresssection" > < a href = "3-mcr.html" > mcr< / a > < / li > < li class = "progresssection" > < a href = "3-tr.html" > tr< / a > < / li > < li class = "progresssection" > < a href = "3-scn.html" > scn< / a > < / li > < li class = "progresssection" > < a href = "3-ts.html" > ts< / a > < / li > < li class = "progresssection" > < a href = "3-mhr.html" > mhr< / a > < / li > < li class = "progresschapter" > < a href = "4-ap.html" > 4< / a > < / li > < li class = "progresschapter" > < a href = "5-pp.html" > 5< / a > < / li > < li class = "progresschapter" > < a href = "6-dlg.html" > 6< / a > < / li > < li class = "progressnext" > < a href = "3-rgn.html" > ❯ < / a > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< / nav > <!-- End of weave -->
2019-03-17 14:40:57 +02:00
2020-03-19 02:11:25 +02:00
< / main >
2019-03-17 14:40:57 +02:00
< / body >
< / html >