public void Run()
{
Reasoner reasoner = GetReasoner();
while (running)
{
if (reasoner.GetSettings().IsSync())
{
//WaitSyncSignal();
ReasoningCycle();
bool isBreakPoint = false;
try
{
isBreakPoint = reasoner.GetCircumstance().GetSelectedOption().GetPlan().HasBreakpoint();
}
catch (NullReferenceException e)
{
// no problem, there is no sel opt, no plan ....
}
InformCycleFinished(isBreakPoint, GetCycleNumber());
}
else
{
GetUserAgArch().IncCycleNumber();
ReasoningCycle();
if (reasoner.CanSleep())
{
Sleep();
}
}
}
}
public void SetReasoner(Reasoner reasoner)
{
this.reasoner = reasoner;
if (reasoner.GetSettings().Verbose() >= 0)
{
//logger.setLevel(ts.getSettings().logLevel());
}
}
override public object Execute(Reasoner ts, Unifier un, ITerm[] args)
{
Settings stts = ts.GetSettings();
stts.SetVerbose((int)((INumberTerm)args[0]).Solve());
//ts.GetAgent().GetLogger().SetLevel(stts.LogLevel());
//ts.GetLogger().SetLevel(stts.LogLevel());
return(true);
}