private void FillFormWithModel(EpistemicModel newModel)
{
agents_ARL.ClearItems();
foreach (string agentName in newModel.GetAgentNames())
{
agents_ARL.AddItemToList(agentName);
}
atomics_ARL.ClearItems();
foreach (string atomicName in newModel.GetAtomicNames())
{
atomics_ARL.AddItemToList(atomicName);
}
ActionModels_ARL.ClearItems();
foreach (string secretName in newModel.GetSecretAnnouncementInfoNames())
{
ActionModels_ARL.AddTextToList(secretName);
EpisModel.CreateSecretAnnouncementInfo(secretName);
EpisModel.GetSecretAnnouncementInfo(secretName)
.CopyFrom(newModel.GetSecretAnnouncementInfo(secretName));
}
foreach (string publicName in newModel.GetPublicAnnouncementInfoNames())
{
ActionModels_ARL.AddTextToList(publicName);
EpisModel.CreatePublicAnnouncementInfo(publicName);
EpisModel.GetPublicAnnouncementInfo(publicName)
.CopyFrom(newModel.GetPublicAnnouncementInfo(publicName));
}
}
public ProcessChain(EpistemicModel epistemicModel)
{
_epistemicModel = epistemicModel;
_epistemicModel.GenerateAllActionModelsFromInfos();
_actionModels = _epistemicModel.GetActionModels();
ModelConfiguration rawModel = CreateNewModel("RawModel");
rawModel.CopyFrom(_epistemicModel.GeneratRawModelConfiguration("RawModel"));
}
public void TestActualModel()
{
model = EpistemicModel.initModel();
model.SetEpisimUrl("http://localhost:5000");
// var json = Jsonifier.JsonifyEpistemicState(model);
// Debug.Log(json);
model.InitiateEpisim();
var moveL = model.GetConcept("PUT", ConceptType.ACTION, ConceptMode.L);
var pushL = model.GetConcept("PUSH", ConceptType.ACTION, ConceptMode.L);
if ((moveL != null) && (pushL != null))
{
moveL.Certainty = -1;
pushL.Certainty = -1;
var json = Jsonifier.JsonifyEpistemicStateInitiation(model);
Debug.Log(json);
model.UpdateEpisim(new[] { moveL, pushL }, new Relation[] { });
}
}
private void openToolStripMenuItem_Click(object sender, EventArgs e)
{
if (openFileDialog1.ShowDialog() != DialogResult.OK)
{
return;
}
string path = openFileDialog1.FileName;
string[] data = File.ReadAllLines(path);
EpistemicModel newModel = EpistemicModel.FromText(ref data);
if (newModel != null)
{
EpisModel.Clear();
FillFormWithModel(newModel);
}
else
{
MessageBox.Show(Resources.Loading_emd_Error);
}
}
public ProcessChain()
{
_epistemicModel = new EpistemicModel();
}
public void SetEpisModel(EpistemicModel model)
{
_processChain = new ProcessChain(model);
}
