public void SetUp()
{
// BASIC WORLD DESCRIPTION
_worldDescription = new WorldDescription();
_worldDescription.Descriptions.Add(new Tuple<WorldDescriptionRecordType, WorldDescriptionRecord>(WorldDescriptionRecordType.Initially, new InitialRecord("a || b || c || d")));
_worldDescription.Descriptions.Add(new Tuple<WorldDescriptionRecordType, WorldDescriptionRecord>(WorldDescriptionRecordType.ActionCausesIf, new ActionCausesIfRecord(this._actionA2, "a && !b", "c")));
_worldDescription.Descriptions.Add(new Tuple<WorldDescriptionRecordType, WorldDescriptionRecord>(WorldDescriptionRecordType.ActionCausesIf, new ActionCausesIfRecord(this._actionB3, "a || b", "d")));
// BASIC SCENARIO
_scenarioDescription = new ScenarioDescription("basic");
_scenarioDescription.addObservation(new SimpleLogicExpression("a && b && c && d"), 0);
_scenarioDescription.addACS(this._actionA2, 1);
_scenarioDescription.addObservation(new SimpleLogicExpression("a && !b && c && d"), 4);
_reasoning = new Reasoning();
foreach (var description in _worldDescription.Descriptions.Select(t => t.Item2))
_reasoning.AddWorldDescriptionRecord(description);
}
