public void GetFluentNamesTest() { var record = new InitialRecord("a1 || (a2 && a1)"); var result = record.GetResult(); Assert.AreEqual(2, result.Length); }
private void ParseFluentsToInitialRecords() { foreach (var f in _fluents) { var ir = new InitialRecord(f.Name); _statements.Add(ir); } }