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