public NavigationViewModel() { ManagerPage.AddFrame("Work", ChangePage); CurrentPage = new Theory { DataContext = new TheoryViewModel() }; }
/// <summary> /// Provide program for the next procedure (for the global declarations). /// </summary> public static void Program(Program p) { if (boogieGlobalData == null) { boogieGlobalData = new BoogieGlobalData(p.Functions, p.Axioms, p.GlobalVariables, p.Constants); var methodData = BoogieMethodData.CreateOnlyGlobal(boogieGlobalData); var fixedVarTranslation = new DeBruijnFixedVarTranslation(methodData); var fixedTyVarTranslation = new DeBruijnFixedTVarTranslation(methodData); var factory = new DeBruijnVarFactory(fixedVarTranslation, fixedTyVarTranslation, boogieGlobalData); var globalDataTheoryName = "global_data"; var globalDataConfig = new IsaProgramGeneratorConfig(null, true, true, true, false, SpecsConfig.None, false); globalDataProgAccess = new IsaProgramGenerator().GetIsaProgram( globalDataTheoryName, "proc", methodData, globalDataConfig, factory, null, out var declsGlobalData, !CommandLineOptions.Clo.GenerateIsaProgNoProofs, true ); var globalDataTheory = new Theory(globalDataTheoryName, new List <string> { "Boogie_Lang.Semantics", "Boogie_Lang.TypeSafety", "Boogie_Lang.Util" }, declsGlobalData); ProofGenerationOutput.StoreTheoriesTopLevel(new List <Theory> { globalDataTheory }); } }
public void PositionNotes() { var trk = player.loadedBeatmap.GetTrack(trackNum); float t = 0; int i = 0; var rtf = (RectTransform)transform; float h = rtf.rect.height; float w = rtf.rect.width; foreach (Note n in trk.notes) { MidiNoteImage im; if (i < _notes.Count) { im = _notes[i].GetComponent <MidiNoteImage>(); } else { im = Instantiate(noteImagePrefab, transform).GetComponent <MidiNoteImage>(); _notes.Add(im); } i++; t += n.deltaTime; //float y = t * noteScale; float y = (float)n.absoluteTime * noteScale; float x = (w / 88.0f) * (Theory.HertzToNote(n.frequency) - 21); im.rt.anchoredPosition = new Vector2(x, y); im.rt.sizeDelta = new Vector2(w / 88.0f, n.duration * noteScale); } }
public async static Task <Theory> GetChords(string url) { string URL = url; Theory chords = new Theory(); //HttpClient using (HttpClient client = new HttpClient()) using (HttpResponseMessage response = await client.GetAsync(URL)) using (HttpContent content = response.Content) { string JSONtext = await response.Content.ReadAsStringAsync(); try { var settings = new JsonSerializerSettings { DefaultValueHandling = DefaultValueHandling.Include }; //Convert JSON into object chords chords = JsonConvert.DeserializeObject <Theory>(JSONtext, settings); } catch { Console.WriteLine(Environment.NewLine + "Couldn't convert the results into text."); } } return(chords); }
public void AddTheory(Theory Theory) { using (ApplicationDbContext db = new ApplicationDbContext()) { db.Theories.Add(Theory); db.SaveChanges(); } }
public ActionResult DeleteConfirmed(int id) { Theory theory = db.TheoriesList.Find(id); db.TheoriesList.Remove(theory); db.SaveChanges(); return(RedirectToAction("Index")); }
static void Main(string[] args) { SolveInfo info; string res; //carico il file di test InputStream stream = new FileInputStream("../../../prolog/tictac.pl"); Theory t = new Theory(stream); //preparo il motore prolog Prolog engine = new Prolog(); //OOLibrary.OOLibrary lib = new OOLibrary.OOLibrary(); //engine.unloadLibrary("alice.tuprolog.lib.JavaLibrary"); //engine.loadLibrary(lib); engine.setTheory(t); //Listener per output e spy engine.addOutputListener(new MyOutputListener()); engine.addSpyListener(new MySpyListener()); //engine.setSpy(true); do { System.Console.Write("Select the version to be loaded (cs, vb, fs, java. default: cs)"); res = System.Console.ReadLine(); switch (res) { case "cs": info = engine.solve("loadgameCS."); break; case "vb": info = engine.solve("loadgameVB."); break; case "fs": info = engine.solve("loadgameFS."); break; case "java": info = engine.solve("loadgameJava."); break; default: info = engine.solve("loadgameCS."); break; } System.Console.Write("Play again? (y/n):"); res = System.Console.ReadLine(); } while (res.StartsWith("y")); System.Console.WriteLine(info.toString()); }
public void DeleteTheory(int id) { using (ApplicationDbContext db = new ApplicationDbContext()) { Theory newTheory = db.Theories.Find(id); db.Theories.Remove(newTheory); db.SaveChanges(); } }
public NavigationViewModel(string role) { ManagerPage.AddFrame("Work", ChangePage); IsVisibilityTeacher = Visibility.Collapsed; IsVisibilityStudent = Visibility.Visible; CurrentPage = new Theory { DataContext = new TheoryViewModel() }; }
public void SetFrequency(float note) { frequency = note; string name = Theory.NoteLetter(note); string number = Theory.NoteNumber(note).ToString(); noteLetter.text = name; noteNumber.text = number; }
private static void StoreTheory(string dirName, Theory theory) { var path = Path.Combine(dirName, theory.TheoryName + ".thy"); var sw = new StreamWriter(path); var theoryString = IsaPrettyPrinter.PrintTheory(theory); sw.WriteLine(theoryString); sw.Close(); }
public void UpdateTrackInfo() { SongPlayer player = SongPlayer.instance; var bm = player.loadedBeatmap; float diff = 0; for (int i = 0; i < bm.numTracks; i++) { if (!player.IsTrackEnabled(i)) { continue; } float res = bm.GetTrack(i).Difficulty(); if (res < 0) { diff = res; break; } else { diff += res; } } if (diff < 0) { diffText.text = "impossible, need more keys"; diffText.color = Color.red; } else { diffText.text = diff.ToString("0.0") + " difficulty"; diffText.color = Color.white; } float nps = 0; for (int i = 0; i < bm.numTracks; i++) { if (!player.IsTrackEnabled(i)) { continue; } nps += (float)bm.GetTrack(i).Speed(); } npmText.text = (nps * 60f).ToString("0.0") + "notes/mim"; durText.text = Theory.DurationToString(player.selectedDuration); }
public ActionResult Edit([Bind(Include = "Id,Text")] Theory theory) { if (ModelState.IsValid) { db.Entry(theory).State = EntityState.Modified; db.SaveChanges(); return(RedirectToAction("Index")); } ViewBag.Id = new SelectList(db.StepsList, "Id", "Name", theory.Id); return(View(theory)); }
static void Main(string[] args) { //Inizializza interprete e imposta la teoria SolveInfo si; InputStream ins = new FileInputStream("../../../prolog/adapterTheory.pl"); Theory t = new Theory(ins); Prolog engine = new Prolog(); engine.setTheory(t); engine.addExceptionListener(new MyExcptioListener()); engine.addOutputListener(new MyOutputListener()); engine.addSpyListener(new MySpyListener()); //Richiede all'utente quale azioni analizzare List <String> stocks = new List <string>(); String str; System.Console.WriteLine("The program downloads the history of prices of a bunch of stocks, then upload an analysis on a MySQL database");//TODO do { System.Console.WriteLine("Write a stock name(e.g. msft, goog) to add a stock to analyze or return to finish"); str = System.Console.ReadLine(); if (str.Length != 0) { stocks.Add(str); } } while (str.Length != 0); //Richoede il periodo d'analisi System.Console.WriteLine("Insert Days of the Analysis"); str = System.Console.ReadLine(); int days = Int32.Parse(str); System.Console.WriteLine("Wait please..."); //Usa il metodo factory (F#) per ottenere gli StockAnalyzer var analyzers = StockAnalyzer.GetAnalyzers(stocks, days); IEnumerator <StockAnalyzer> ie = analyzers.GetEnumerator(); //Inserisce nel database gli StockAnalyzer usando l'inteprete tuProlog.NET for (int i = 0; i < stocks.Count; i++) { ie.MoveNext(); str = stocks[i] + ";" + ie.Current.ToString; System.Console.WriteLine(str); si = engine.solve("addStockAnalysis('" + str + "',RS)."); if (("" + si.getVarValue("RS")) == "0") { System.Console.WriteLine("Tuple added"); } else if (("" + si.getVarValue("RS")) == "1") { System.Console.WriteLine("Tuple already presents"); } } }
public ActionResult Create([Bind(Include = "Id,Text")] Theory theory) { if (ModelState.IsValid) { db.TheoriesList.Add(theory); db.SaveChanges(); return(RedirectToAction("Index")); } ViewBag.Id = new SelectList(db.StepsList, "Id", "Name", theory.Id); return(View(theory)); }
public ClientAdapter(String theoryPath) { _engine = new Prolog(); FileInputStream fis = new FileInputStream(new File(theoryPath)); Theory t = new Theory(fis); _engine.setTheory(t); Listener ls = new Listener(); _engine.addExceptionListener(ls); _engine.addOutputListener(ls); _engine.addSpyListener(ls); }
public virtual void SetText(float value) { var textob = GetComponent <Text>(); if (asInt) { textob.text = (Theory.RoundFloat(value)).ToString(); } else { textob.text = value.ToString(); } }
private void ButtonAdd_Click() { if (!String.IsNullOrWhiteSpace(TextBoxTheory.Text)) { var newtheory = new Theory() { Text = TextBoxTheory.Text, TopicId = edcl.SelectedTopic.Id }; edcl.AddTheory(newtheory); Clear(); } }
void OnEnable() { touchCircleToggle.val = keyboard.touchCircles; rowsUpDown.val = keyboard.numRows; colsUpDown.val = keyboard.numCols; rootNoteLetter.val = Theory.RoundFloat(keyboard.rootNoteLetter); rootNoteNumber.val = Theory.RoundFloat(keyboard.rootNoteNumber); negateUpwards.val = keyboard.upwardsNegate; upwardsInc.val = Theory.RoundFloat(keyboard.upwardsDelta); negateDownwards.val = keyboard.downwardsNegate; downwardsInc.val = Theory.RoundFloat(keyboard.downwardsDelta); diagram.Invalidate(); }
// GET: Theories/Details/5 public ActionResult Details(int?id) { if (id == null) { return(new HttpStatusCodeResult(HttpStatusCode.BadRequest)); } Theory theory = db.TheoriesList.Find(id); if (theory == null) { return(HttpNotFound()); } return(View(theory)); }
//will round to the nearest integer public override void SetText(float value) { var textob = GetComponent <Text>(); int i = Theory.RoundFloat(value); if ((i < 0) || (i >= options.Length)) { textob.text = "???"; } else { textob.text = options[i]; } }
// GET: Theories/Edit/5 public ActionResult Edit(int?id) { if (id == null) { return(new HttpStatusCodeResult(HttpStatusCode.BadRequest)); } Theory theory = db.TheoriesList.Find(id); if (theory == null) { return(HttpNotFound()); } ViewBag.Id = new SelectList(db.StepsList, "Id", "Name", theory.Id); return(View(theory)); }
public bool CreateTheory(TheoryCreate model) { var entity = new Theory() { OwnerId = _userId, Subject = model.Subject, Content = model.Content, DateCreated = DateTimeOffset.Now }; using (var ctx = new ApplicationDbContext()) { ctx.Theories.Add(entity); return(ctx.SaveChanges() == 1); } }
public IActionResult UpdateTheory([FromBody] Theory uTheory) { var oTheory = context.Theories.Find(uTheory.Id); if (oTheory == null) { return(NotFound()); } oTheory.ImdbID = uTheory.ImdbID; oTheory.Writer = uTheory.Writer; oTheory.Title = uTheory.Title; oTheory.Description = uTheory.Description; oTheory.Comments = uTheory.Comments; context.SaveChanges(); return(Ok(oTheory)); }
static void Main(string[] args) { Subjects subjects = new Subjects(); try { Theory t1 = new Theory(); t1.ID = 1; t1.Name = "Theory subject1"; t1.Marks = 150; Lab l1 = new Lab(); Console.WriteLine("Enter subject id"); l1.ID = Convert.ToInt32(Console.ReadLine()); l1.Name = "Lab1"; l1.Internals = 30; subjects.Add(t1); subjects.Add(l1); foreach (Subject item in subjects.GetAllSubjets()) { Console.WriteLine(item.Name); } MyGenericClass <int, Subject> myGenericClass = new MyGenericClass <int, Subject>(); } catch (DuplicateKeyException ex) { Console.WriteLine(ex.Message); } catch (FormatException ex) { Console.WriteLine(ex.Message); } catch (Exception ex) { Console.WriteLine(ex.Message); }finally { Console.WriteLine("Always executed"); Console.ReadLine(); } }
public IActionResult CreateTheory([FromBody] Theory newTheory) { if (string.IsNullOrWhiteSpace(newTheory.ImdbID)) { return(BadRequest("imdbId is not allowed to be null or empty.")); } if (string.IsNullOrWhiteSpace(newTheory.Title)) { return(BadRequest("title is not allowed to be null or empty")); } if (string.IsNullOrWhiteSpace(newTheory.Writer)) { newTheory.Writer = "anonymous"; } context.Theories.Add(newTheory); context.SaveChanges(); return(Created("", newTheory)); }
private void UpdatePanels() { SongPlayer player = SongPlayer.instance; float padding = 5; float y = padding; float lastHeight = 0; for (int i = 0; i < player.loadedBeatmap.numTracks; i++) { var trk = player.loadedBeatmap.GetTrack(i); GameObject ob; if (i < panels.Count) { ob = panels[i]; ob.SetActive(true); } else { ob = Instantiate(trackPreviewPanel, transform); panels.Add(ob); } var panel = ob.GetComponent <TrackPreviewPanel>(); panel.trackIndex = i; panel.trackListGet = this; panel.isEnabled = false || panel.isEnabled; panel.trackName = trk.trackName; panel.instrumentName = trk.instrumentName; panel.speed = (60 * trk.Speed()).ToString("0.00") + "npm"; double dur = trk.duration; panel.time = Theory.DurationToString(dur); var rtf = panel.transform as RectTransform; rtf.anchoredPosition = new Vector2(0, -y); lastHeight = rtf.rect.height; y += lastHeight + padding; } (transform as RectTransform).sizeDelta = new Vector2(0, y + lastHeight + padding); }
public Form1() { InitializeComponent(); engine = new Prolog(); try { Theory t = new Theory(new java.io.FileInputStream(@"..\..\..\der.pl")); engine.setTheory(t); } catch (InvalidTheoryException e1) { Console.WriteLine("Theory not valid."); Application.Exit(); } catch (java.io.IOException e2) { Console.WriteLine("Errors in reading from file."); Application.Exit(); } }
private void Element2_Click(object sender, EventArgs e) { if (StatusElement == null) { MessageBox.Show("Вы не выбрали урок!"); return; } Color myRgbColor = new Color(); myRgbColor = Color.FromArgb(255, 255, 255, 0); LessonConentLayoutPanel.BackColor = myRgbColor; t1.Tick += new EventHandler(fadeOutAddTheory); t1.Interval = 100; t1.Start(); Theory theory = new Theory(); StatusElement.AddTheory(theory); LessonConentLayoutPanel.Controls.Add(theory); }
public static void Main(string[] args) { //OpenFileDialog dialog = new OpenFileDialog(); //dialog.ShowDialog(); OOLibrary lib = new OOLibrary(); InputStream stream = new FileInputStream(@"Test.pl"); // InputStream stream = new FileInputStream("C:\\Users\\Administrator\\Desktop\\Test.pl"); Prolog engine = new Prolog(); //engine.unloadLibrary("alice.tuprolog.lib.JavaLibrary"); //engine.loadLibrary(lib); Theory th = new Theory(stream); engine.addTheory(th); SolveInfo info = engine.solve("testInteroperation(X)."); System.Console.WriteLine(info.isSuccess()); System.Console.WriteLine(info.isHalted()); //info = engine.solve("testBasicsWithJava."); //System.Console.WriteLine(info.isSuccess()); //System.Console.WriteLine(info.isHalted()); //java.util.List[] primitives = lib.getPrimitives(); //for (int i = 0; i < primitives.Length; i++) //{ // PrimitiveInfo p = (PrimitiveInfo)primitives[i]; //} System.Console.ReadLine(); }
public void Run() { engine = new Prolog(); try { var library = new PrologLibrary(); engine.loadLibrary(library); } catch (Exception e) { var s = string.Format( "*****\n{0}: {1}\n-----\n{2}\n", e.GetType().Name, e.Message, e.StackTrace); System.Console.Out.Write(s); } engine.addOutputListener(this); try { TheoryLoader loader = new TheoryLoader(); String theoryText = loader.load(); Theory theory = new Theory(theoryText); engine.setTheory(theory); if (testing) { SolveInfo testInfo = engine.solve("test."); if (testInfo.isSuccess()) { System.Console.Out.WriteLine("Test run succeeded."); } else { System.Console.Out.WriteLine("Test run did not succeed."); } } else { SolveInfo info = engine .solve("all_subscriber_feeds(ResultList)."); if (info.isSuccess()) { System.Console.Out.WriteLine("Success."); var bindings = info.getBindingVars(); if (PrologLibrary.traceEnabled) { System.Console.Out.WriteLine("Bindings:"); System.Console.Out.WriteLine(bindings.ToString()); } Var resultList = (Var)bindings.get(0); showSubscriberFeedsResultList(resultList); System.Console.Out.WriteLine("Done."); } else { System.Console.Out.WriteLine("Failure."); } } } catch (Exception e) { var s = string.Format( "*****\n{0}: {1}\n-----\n{2}\n", e.GetType().Name, e.Message, e.StackTrace); System.Console.Out.Write(s); } }
public HurricanePoker(string[] args) { System.Console.Out.WriteLine( "Rick Rutt's Hurricane Poker - Using the tuProlog system " + Prolog.getVersion() ); bool enablePeeking = false; bool enableSpying = false; bool enableTrace = false; foreach (var arg in args) { if ((arg.Length > 1) && (arg[0] == '-')) { if (arg.Equals("-peek", StringComparison.CurrentCultureIgnoreCase)) { enablePeeking = true; System.Console.Out.WriteLine("Peek output enabled."); } else if (arg.Equals("-spy", StringComparison.CurrentCultureIgnoreCase)) { enableSpying = true; System.Console.Out.WriteLine("Spy output enabled."); } else if (arg.Equals("-trace", StringComparison.CurrentCultureIgnoreCase)) { enableTrace = true; System.Console.Out.WriteLine("Trace output enabled."); } else { System.Console.Out.WriteLine("Unknown command argument ignored: " + arg); } } else { theoryFilePath = arg; System.Console.Out.WriteLine("Processing theory file: " + arg); } } InitializeComponent(); this.Visible = true; Application.DoEvents(); engine = new Prolog(); try { library = new PrologPredicatesAndFunctors(this); library.enablePeeking = enablePeeking; library.enableSpying = enableSpying; library.enableTrace = enableTrace; engine.loadLibrary(library); } catch (Exception e) { var s = string.Format( "*****\n{0}: {1}\n-----\n{2}\n", e.GetType().Name, e.Message, e.StackTrace); System.Console.Out.Write(s); } engine.addOutputListener(this); engine.addSpyListener(this); engine.setSpy(enableSpying); try { TheoryLoader loader = new TheoryLoader(); String theoryText = loader.Load(theoryFilePath); var t = new Theory(theoryText); // t = new Theory(theoryInputStream); engine.setTheory(t); Application.DoEvents(); SolveInfo info = engine.solve("x."); // System.Console.Out.Write(info); } catch (Exception e) { var s = string.Format( "*****\n{0}: {1}\n-----\n{2}\n", e.GetType().Name, e.Message, e.StackTrace); System.Console.Out.Write(s); } System.Environment.Exit(0); }