mirror of
https://github.com/Steffo99/unisteffo.git
synced 2024-11-23 08:24:20 +00:00
50 lines
1.1 MiB
JavaScript
50 lines
1.1 MiB
JavaScript
|
!function(e){function t(t){for(var r,n,o=t[0],i=t[1],s=0,l=[];s<o.length;s++)n=o[s],Object.prototype.hasOwnProperty.call(a,n)&&a[n]&&l.push(a[n][0]),a[n]=0;for(r in i)Object.prototype.hasOwnProperty.call(i,r)&&(e[r]=i[r]);for(c&&c(t);l.length;)l.shift()()}function r(t){if(n[t])return n[t].exports;var o=n[t]={i:t,l:!1,exports:{}};return e[t].call(o.exports,o,o.exports,r),o.l=!0,o.exports}var n={},o={0:0},a={0:0};r.e=function(e){var t=[];o[e]?t.push(o[e]):0!==o[e]&&{3:1,4:1,5:1,6:1,7:1,8:1,11:1,12:1,14:1,15:1}[e]&&t.push(o[e]=new Promise((function(t,n){for(var a=({2:"route-AlgoritmiEStruttureDati",3:"route-ApprendimentoSistemiArtificiali",4:"route-BasiDiDati",5:"route-CalcoloNumerico",6:"route-Fisica",7:"route-GestioneDellInformazione",8:"route-Home",9:"route-LinguaggiDinamici",10:"route-MingwInstall",11:"route-NetLogo",12:"route-OttimizzazioneLineare",13:"route-ProtocolliDiRete",14:"route-RipassoDiAlgebraLineare",15:"route-Statistica",16:"route-VlDiGeometria"}[e]||e)+".chunk."+{2:"31d6c",3:"56f6a",4:"1d0a7",5:"c7ecd",6:"ed9a8",7:"1d0a7",8:"b342d",9:"31d6c",10:"31d6c",11:"1d0a7",12:"a6d86",13:"31d6c",14:"1d0a7",15:"9d494",16:"31d6c"}[e]+".css",i=r.p+a,s=document.getElementsByTagName("link"),l=0;l<s.length;l++){var c=(d=s[l]).getAttribute("data-href")||d.getAttribute("href");if("stylesheet"===d.rel&&(c===a||c===i))return t()}var _=document.getElementsByTagName("style");for(l=0;l<_.length;l++){var d;if((c=(d=_[l]).getAttribute("data-href"))===a||c===i)return t()}var u=document.createElement("link");u.rel="stylesheet",u.type="text/css",u.onload=t,u.onerror=function(t){var r=t&&t.target&&t.target.src||i,a=new Error("Loading CSS chunk "+e+" failed.\n("+r+")");a.code="CSS_CHUNK_LOAD_FAILED",a.request=r,delete o[e],u.parentNode.removeChild(u),n(a)},u.href=i,document.getElementsByTagName("head")[0].appendChild(u)})).then((function(){o[e]=0})));var n=a[e];if(0!==n)if(n)t.push(n[2]);else{var i=new Promise((function(t,r){n=a[e]=[t,r]}));t.push(n[2]=i);var s,l=document.createElement("script");l.charset="utf-8",l.timeout=120,r.nc&&l.setAttribute("nonce",r.nc),l.src=function(e){return r.p+""+({2:"route-AlgoritmiEStruttureDati",3:"route-ApprendimentoSistemiArtificiali",4:"route-BasiDiDati",5:"route-CalcoloNumerico",6:"route-Fisica",7:"route-GestioneDellInformazione",8:"route-Home",9:"route-LinguaggiDinamici",10:"route-MingwInstall",11:"route-NetLogo",12:"route-OttimizzazioneLineare",13:"route-ProtocolliDiRete",14:"route-RipassoDiAlgebraLineare",15:"route-Statistica",16:"route-VlDiGeometria"}[e]||e)+".chunk."+{2:"41abc",3:"3819a",4:"3c99c",5:"16c02",6:"54288",7:"054b1",8:"1bafb",9:"d8f81",10:"13431",11:"d35c2",12:"f5933",13:"9a81b",14:"6dbd1",15:"441a9",16:"d1bf4"}[e]+".esm.js"}(e);var c=new Error;s=function(t){l.onerror=l.onload=null,clearTimeout(_);var r=a[e];if(0!==r){if(r){var n=t&&("load"===t.type?"missing":t.type),o=t&&t.target&&t.target.src;c.message="Loading chunk "+e+" failed.\n("+n+": "+o+")",c.name="ChunkLoadError",c.type=n,c.request=o,r[1](c)}a[e]=void 0}};var _=setTimeout((function(){s({type:"timeout",target:l})}),12e4);l.onerror=l.onload=s,document.head.appendChild(l)}return Promise.all(t)},r.m=e,r.c=n,r.d=function(e,t,n){r.o(e,t)||Object.defineProperty(e,t,{enumerable:!0,get:n})},r.r=function(e){"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},r.t=function(e,t){if(1&t&&(e=r(e)),8&t)return e;if(4&t&&"object"==typeof e&&e&&e.__esModule)return e;var n=Object.create(null);if(r.r(n),Object.defineProperty(n,"default",{enumerable:!0,value:e}),2&t&&"string"!=typeof e)for(var o in e)r.d(n,o,function(t){return e[t]}.bind(null,o));return n},r.n=function(e){var t=e&&e.__esModule?function(){return e.default}:function(){return e};return r.d(t,"a",t),t},r.o=function(e,t){return Object.prototype.hasOwnProperty.call(e,t)},r.p="/",r.oe=function(e){throw console.error(e),e};var i=window.webpackJsonp=window.webpackJsonp||[],s=i.push.bind(i);i.push=t,i=i.slice();for(var l=0;l<i.length;l++)t(i[l]);var c=s;r(r.s=0)}({"+0sr":function(e){e
|
||
|
|
set DA_UNO_A_DIECI := 1 .. 10;
|
||
|
|
set DA_UNO_A_PARAMETRO := 1 .. parametro;
|
||
|
|
`))),e("p",null,"Si possono effettuare operazioni su set con:"),e(o.f,null,C(s||(s=v`
|
||
|
|
set UNIONE := SET_A union SET_B;
|
||
|
|
set INTERSEZIONE := SET_A inter SET_B;
|
||
|
|
`)))),e(o.r,{title:"Variabili"},e("p",null,"Valori che sono ",e("b",null,"calcolati al momento dell'esecuzione")," del programma:"),e(o.f,null,"var nomevariabile;"))),e(o.s,null,e(o.r,{title:"Requisiti"},e("p",null,"È possibile richiedere che un parametro o una variabile soddisfino certi ",e("i",null,"requisiti"),"."),e("p",null,"Si può richiedere che ",e("b",null,"siano ",e(o.i,null,C(l||(l=v`\geq`)))," o ",e(o.i,null,C(c||(c=v`\leq`)))," di un certo valore"),":"),e(o.f,null,C(_||(_=v`
|
||
|
|
param positivo, > 0;
|
||
|
|
var non_positiva, <= 0;
|
||
|
|
`))),e("p",null,"Si può richiedere che ",e("b",null,"appartengano a un dato set"),":"),e(o.f,null,C(d||(d=v`
|
||
|
|
param intero_positivo, integer, > 0;
|
||
|
|
var zero_oppure_uno, binary;
|
||
|
|
`)))),e(o.r,{title:"Indici"},e("p",null,'È possibile creare anche un "array" di parametri o variabili:'),e(o.f,null,C(u||(u=v`
|
||
|
|
param dieci_parametri{1..10};
|
||
|
|
var quadrato{1..10, 1..10};
|
||
|
|
var cubo{1..10, 1..10, 1..10};
|
||
|
|
`))),e("p",null,"Si possono usare anche set:"),e(o.f,null,C(p||(p=v`
|
||
|
|
param dieci_parametri{DA_UNO_A_DIECI};
|
||
|
|
`))))),e(o.s,null,e(o.r,{title:"Funzione obiettivo"},e("p",null,"La funzione obiettivo ",e("b",null,"può comparire solo una volta")," nel programma."),e("p",null,"Si definisce con:"),e(o.f,null,C(m||(m=v`
|
||
|
|
minimize valore_ottimo_min: espressione;
|
||
|
|
maximize valore_ottimo_max: espressione;
|
||
|
|
`)))),e(o.r,{title:"Vincoli"},e("p",null,"I vincoli a cui sono soggette le variabili si definiscono con:"),e(o.f,null,C(g||(g=v`
|
||
|
|
nome_vincolo_1: espressione <= 1;
|
||
|
|
nome_vincolo_2: espressione >= parametro;
|
||
|
|
`))),e("p",null,"I vincoli possono essere indicizzati:"),e(o.f,{language:"gmpl"},C(f||(f=v`
|
||
|
|
// La diagonale del quadrato deve essere minore di 1
|
||
|
|
v_3{i in DA_UNO_A_DIECI}: quadrato[i, i] <= 1;
|
||
|
|
|
||
|
|
// Tutti i valori del quadrato devono essere minori o uguali a 1
|
||
|
|
v_4{i in DA_UNO_A_DIECI, j in DA_UNO_A_DIECI}: quadrato[i, j] <= 1;
|
||
|
|
`))),e("p",null,"Esistono anche operatori aggregati:"),e(o.f,{language:"gmpl"},C(E||(E=v`
|
||
|
|
// La somma degli elementi della diagonale deve essere maggiore o uguale a 0
|
||
|
|
v_5: sum{i in DA_UNO_A_DIECI} quadrato[i, i] >= 0;
|
||
|
|
|
||
|
|
// Il prodotto degli elementi della diagonale deve essere maggiore o uguale a 0
|
||
|
|
v_6: prod{i in DA_UNO_A_DIECI} quadrato[i, i] >= 0;
|
||
|
|
`))),e("p",null,"Si possono anche aggiungere requisiti agli indici:"),e(o.f,null,C(b||(b=v`
|
||
|
|
v_7: sum{i in DA_UNO_A_DIECI, i <= 5} quadrato[i, i] >= 0;
|
||
|
|
|
||
|
|
v_8: prod{i in SET, i not in ALTRO_SET} quadrato[i, i] >= 0;
|
||
|
|
`))))),e(o.s,null,e(o.r,{title:"Termine del programma"},e("p",null,"Perchè il programma calcoli i valori di tutte le variabili, è necessaria l'istruzione:"),e(o.f,null,C(h||(h=v`
|
||
|
|
solve;
|
||
|
|
`))),e("p",null,"Per stampare i valori calcolati, è possibile usare:"),e(o.f,null,C(S||(S=v`
|
||
|
|
printf "%d \n", nomevar;
|
||
|
|
`))),e("p",null,"Eventualmente, anche in un ciclo for:"),e(o.f,null,C(T||(T=v`
|
||
|
|
for{i in DA_UNO_A_DIECI} {
|
||
|
|
printf "%d: %d \n", i, x[i];
|
||
|
|
}
|
||
|
|
`)))),e(o.r,{title:"Compilare ed eseguire"},e("p",null,"Per compilare ed eseguire il programma, è sufficiente eseguire:"),e(o.f,{language:"bash"},"glpsol --math nomefile.mod"),e("p",null,"È possibile specificare i dati in un file separato da quello del modello; in tal caso, si dovrà eseguire:"),e(o.f,{language:"bash"},"glpsol --math -m modello.mod -d dati.mod"),e("p",null,"Per salvare i risultati su file e visualizzarli a schermo:"),e(o.f,{language:"bash"},"glpsol --math nomefile.mod | tee risultati.txt"))))}}).call(this,r("hosL").h)},aQXo:function(e,t){"use strict";Object.defineProperty(t,"__esModule",{value:!0}),t.default=void 0;t.default={hljs:{display:"block",overflowX:"auto",padding:"0.5em",background:"#eee",color:"black"},"hljs-link":{color:"#070"},"hljs-emphasis":{color:"#070",fontStyle:"italic"},"hljs-attribute":{color:"#070"},"hljs-addition":{color:"#070"},"hljs-strong":{color:"#d14",fontWeight:"bold"},"hljs-string":{color:"#d14"},"hljs-deletion":{color:"#d14"},"hljs-quote":{color:"#998",fontStyle:"italic"},"hljs-comment":{color:"#998",fontStyle:"italic"},"hljs-section":{color:"#900"},"hljs-title":{color:"#900"},"hljs-class .hljs-title":{color:"#458"},"hljs-type":{color:"#458"},"hljs-variable":{color:"#336699"},"hljs-template-variable":{color:"#336699"},"hljs-bullet":{color:"#997700"},"hljs-meta":{color:"#3344bb"},"hljs-code":{color:"#099"},"hljs-number":{color:"#099"},"hljs-literal":{color:"#099"},"hljs-keyword":{color:"#099"},"hljs-selector-tag":{color:"#099"},"hljs-regexp":{backgroundColor:"#fff0ff",color:"#880088"},"hljs-symbol":{color:"#990073"},"hljs-tag":{color:"#007700"},"hljs-name":{color:"#007700"},"hljs-selector-id":{color:"#007700"},"hljs-selector-class":{color:"#007700"}}},aWdl:function(e,t,r){"use strict";var n=r("ensb");t.a=Object(n.a)((function(e){r.e(3).then(function(){var t=r("9cHI");"function"==typeof e&&e(t)}.bind(null,r)).catch(r.oe)}))},"bTp+":function(e){e.exports=function(e){var t=["add","and","cmp","cmpg","cmpl","const","div","double","float","goto","if","int","long","move","mul","neg","new","nop","not","or","rem","return","shl","shr","sput","sub","throw","ushr","xor"];return{aliases:["smali"],contains:[{className:"string",begin:'"',end:'"',relevance:0},e.COMMENT("#","$",{relevance:0}),{className:"keyword",variants:[{begin:"\\s*\\.end\\s[a-zA-Z0-9]*"},{begin:"^[ ]*\\.[a-zA-Z]*",relevance:0},{begin:"\\s:[a-zA-Z_0-9]*",relevance:0},{begin:"\\s("+["transient","constructor","abstract","final","synthetic","public","private","protected","static","bridge","system"].join("|")+")"}]},{className:"built_in",variants:[{begin:"\\s("+t.join("|")+")\\s"},{begin:"\\s("+t.join("|")+")((\\-|/)[a-zA-Z0-9]+)+\\s",relevance:10},{begin:"\\s("+["aget","aput","array","check","execute","fill","filled","goto/16","goto/32","iget","instance","invoke","iput","monitor","packed","sget","sparse"].join("|")+")((\\-|/)[a-zA-Z0-9]+)*\\s",relevance:10}]},{className:"class",begin:"L[^(;:\n]*;",relevance:0},{begin:"[vp][0-9]+"}]}}},bb6g:function(e,t,r){"use strict";function n(e,t){function r(){this.constructor=e}s(e,t),e.prototype=null===t?Object.create(t):(r.prototype=t.prototype,new r)}function o(e){var t="function"==typeof Symbol&&Symbol.iterator,r=t&&e[t],n=0;if(r)return r.call(e);if(e&&"number"==typeof e.length)return{next:function(){return e&&n>=e.length&&(e=void 0),{value:e&&e[n++],done:!e}}};throw new TypeError(t?"Object is not iterable.":"Symbol.iterator is not defined.")}function a(e,t){var r="function"==typeof Symbol&&e[Symbol.iterator];if(!r)return e;var n,o,a=r.call(e),i=[];try{for(;(void 0===t||t-- >0)&&!(n=a.next()).done;)i.push(n.value)}catch(e){o={error:e}}finally{try{n&&!n.done&&(r=a.return)&&r.call(a)}finally{if(o)throw o.error}}return i}function i(){for(var e=[],t=0;t<arguments.length;t++)e=e.concat(a(arguments[t]));return e}r.d(t,"b",(function(){return n})),r.d(t,"a",(function(){return l})),r.d(t,"e",(function(){return o})),r.d(t,"c",(function(){return a})),r.d(t,"d",(function(){return i}));var s=function(e,t){return(s=Object.setPrototypeOf||{__proto__:[]}instanceof Array&&functio
|
||
|
|
//# sourceMappingURL=bundle.6cea7.esm.js.map
|