public void PathExistsTest()
{
var engine = new LogicEngine(new TestSettings(), "core");
var from = LogicOperations.NodeFromString("!bc & !bf & !bs & !bw & !rc & !rf & !rs & !rw");
var to = LogicOperations.NodeFromString("!bc & !bf & !bs & !bw & rc & rf & rs & rw");
engine.PathExitsts(from, to).Should().BeTrue();
}
public MethodResponse <Product> GetProductByName(string Nombre)
{
var response = new MethodResponse <Product>();
try
{
var logic = new LogicEngine();
var res = logic.GetProductByName(Nombre);
if (int.Parse(res.Code.ToString()) != 0)
{
return(new MethodResponse <Product>()
{
Code = res.Code, Message = res.Message
});
}
response = res;
return(response);
}
catch (Exception ex)
{
return(new MethodResponse <Product>()
{
Code = -1, Message = "Ocurrio un error al extraer el producto: " + ex.Message
});
}
}
public void RunMain()
{
Proposition expr;
string result;
//string s = "( p -> ( q & r ) ) <-> y";
//string s = "(A ->( B -> C )) <-> ( C -> D ) & ( D -> E) ";
//string s = "p<->p";
//string s = "p <-> a & b";
//string s = "((p | q) & (~p | r)) -> (q | r)";
//string s = "(P|(S&T))|R";
//string s = "(A&B)|(~A)|(~B)";
//string s = "(~p)<->(p->F)";
//string s = "(~((a&b)|c)&d)|(((a&b)|c)&(~d))";
string s = "(a&b)|(c&d)|(e&f)";
ParseEngine parseEngine = new ParseEngine();
parseEngine.TryParse(out expr, out result, s);
LogicEngine logicEng = new LogicEngine();
Proposition nnfExpr = logicEng.ConvertToNNF(expr);
Proposition cnfExpr = logicEng.ConvertToCNF(nnfExpr);
bool b = logicEng.IsTautology(cnfExpr);
WriteFile(cnfExpr.ToString());
}
public static GameObject createGameObject(AbstractTrainCar trainCar,
LogicEngine parent)
{
GameObject trainObject;
//create my game object!
if (trainCar.trainIndex == 0)
{
//engine
trainObject = UnityEngine.Object.Instantiate(parent.trainEngine);
}
else if (trainCar.trainIndex == -1)
{
//caboose
trainObject = UnityEngine.Object.Instantiate(parent.caboose);
}
else
{
trainObject = UnityEngine.Object.Instantiate(parent.trainCar);
parent.setColorForGameObject(trainObject, trainCar.trainIndex);
}
var carHandler = trainObject.AddComponent <TrainCarHandler>();
carHandler.trainCar = trainCar;
carHandler.trainObject = trainObject;
carHandler.parent = parent;
return(trainObject);
}
public MethodResponse <string> PostProduct(object infoProduct)
{
var response = new MethodResponse <string>();
try
{
var logic = new LogicEngine();
var res = logic.InsProduct(infoProduct);
if (int.Parse(res.Code.ToString()) != 0)
{
return(new MethodResponse <string>()
{
Code = res.Code, Message = res.Message
});
}
response = res;
return(response);
}
catch (Exception ex)
{
return(new MethodResponse <string>()
{
Code = -1, Message = "Ocurrio un error al insertar los productos: " + ex.Message
});
}
}
public void LogicEngine_GetNextPersonaClassification_Tests()
{
int totalCooperators = 0;
int totalDefectors = 0;
List <List <Persona> > cooperatorPersonas = new List <List <Persona> >();
for (int i = 0; i < 10; i++)
{
LogicEngine = new SocialExchange2.LogicEngine();
while (LogicEngine.TrustExchangeTask.CurrentRoundIndex < LogicEngine.TrustExchangeTask.Rounds.Count)
{
LogicEngine.TrustExchangeTask.ProcessPlayerInput(2);
if (LogicEngine.TrustExchangeTask.CurrentRoundIndex == LogicEngine.TrustExchangeTask.Rounds.Count - 1)
{
break;
}
else
{
LogicEngine.TrustExchangeTask.AdvanceToNextRound();
}
}
List <PersonaClassification> classifications = LogicEngine.Personas.Select <Persona, PersonaClassification>(p => p.Classification).ToList();
totalCooperators += classifications.Where(c => c == PersonaClassifications.Cooperator).ToList().Count();
totalDefectors += classifications.Where(c => c == PersonaClassifications.Defector).ToList().Count();
cooperatorPersonas.Add(LogicEngine.Personas.Where(p => p.Classification == PersonaClassifications.Cooperator).ToList());
}
Assert.AreEqual(totalCooperators, totalDefectors);
}
public static void RunScraping()
{
SqlTopazBootstrapper.LoadConfigSqlRetry();
Guid searchId = Guid.NewGuid();
Guid itemInfoId = Guid.NewGuid();
ScraperConfig scraperConfig = new ScraperConfig
{
CommerceId = 111,
SearchId = searchId,
ItemInfoId = itemInfoId,
Keyword = "",
Source = "https://www.sams.com.mx/celulares/iphone-xr-apple-64gb-white-at-t/980010722"
};
try
{
LogicEngine logicEngine = new LogicEngine();
logicEngine.RunScraping(scraperConfig);
}
catch (Exception)
{
}
}
public MethodResponse <List <Product> > GetAllProducts()
{
var response = new MethodResponse <List <Product> >();
try
{
var logicEngine = new LogicEngine();
var logic = logicEngine.GetProducts();
if (int.Parse(logic.Code.ToString()) != 0)
{
return(new MethodResponse <List <Product> >()
{
Code = logic.Code, Message = logic.Message
});
}
response.Code = 0;
response.Result = logic.Result;
return(response);
}
catch (Exception ex)
{
return(new MethodResponse <List <Product> >()
{
Code = -1, Message = "Ocurrio un error al extraer los productos: " + ex.Message
});
}
}
public void TestInitialize()
{
// 18 females, 20 males = 38
AssemblyImageCount = 38;
TrustExchangeRoundCount = 24;
LogicEngine = new LogicEngine();
}
public void FindPathTest()
{
var engine = new LogicEngine(new TestSettings(), "core");
var from = LogicOperations.NodeFromString("!bc & !bf & !bs & !bw & !rc & !rf & !rs & !rw");
var to = LogicOperations.NodeFromString("!bc & !bf & !bs & !bw & rc & rf & rs & rw");
var path = engine.FindPath(from, to);
path.Should().NotBeNull();
path.length().Should().BeGreaterThan(0);
}
private void btnTest_Click(object sender, EventArgs e)
{
txtConsole.Clear();
mousePos = ScreenPosition.Center;
//_timerUpdate.Restart();
//_timerUpdate.IntervalSeconds = 0.5;
LogicEngine engine = new LogicEngine();
engine.Stop();
engine.Start();
//PerformClick();
}
public async Task <IHttpActionResult> PostPosition(HttpRequestMessage request)
{
Stream streamContent = await request.Content.ReadAsStreamAsync();
streamContent.Seek(0, SeekOrigin.Begin);
ApiResponse <bool> response = new ApiResponse <bool>();
try
{
GeographicalPosition position;
using (StreamReader requestReader = new StreamReader(streamContent, Encoding.GetEncoding("ISO-8859-1")))
{
position = JsonConvert.DeserializeObject <GeographicalPosition>(requestReader.ReadToEnd());
position.RegistrationDate = Kit.GetDateTime();
position.Id = Guid.NewGuid();
}
using (LogicEngine logicEngine = new LogicEngine(DataEngineKind.Storage))
{
await logicEngine.SetCurrentPosition(position);
}
using (LogicEngine logicEngine = new LogicEngine(DataEngineKind.Sql))
{
await logicEngine.SetPositionHistory(position);
}
}
catch (PlatformException ex)
{
response.Code = -1;
response.Message = ex.Message;
EventManager.WriteEvent(ex);
}
catch (LogicException ex)
{
response.Code = 100;
response.Message = ex.Message;
EventManager.WriteEvent(ex);
}
catch (Exception ex)
{
response.Code = -200;
response.Message = ex.Message;
EventManager.WriteEvent(ex);
}
return(Json(response, new JsonSerializerSettings()));
}
public ActionResult Index()
{
try
{
var logicEngine = new LogicEngine();
var logic = (List <Product>)logicEngine.GetProducts().Result;
ViewBag.Products = logic;
ViewBag.TotalProducts = logic.Count();
}
catch (Exception ex)
{
throw;
}
return(View());
}
public static async Task Run([ServiceBusTrigger("%ServiceBusQueueName%", Connection = "ServiceBusQueueConnectionString")] string message, ILogger log)
{
log.LogInformation("***** Iniciando scraper-amazoncommx *****");
var dateStart = DateTime.Now;
SqlTopazBootstrapper.LoadConfigSqlRetry();
var exceptions = new List <Exception>();
try
{
ScraperConfig scraperConfig = JsonConvert.DeserializeObject <ScraperConfig>(message);
LogicEngine logicEngine = new LogicEngine();
logicEngine.RunScraping(scraperConfig);
TimeSpan diff = DateTime.Now - dateStart;
log.LogInformation($"Mensaje procesado: {message} Time: {diff.TotalMilliseconds} ms.");
await Task.Yield();
}
catch (PlatformException e)
{
exceptions.Add(e);
log.LogError(new EventId(-200), e, $"xl-error-platform: {e.Message} MessageBody: {message}");
}
catch (Exception e)
{
exceptions.Add(e);
log.LogError(new EventId(-100), e, $"xl-error: {e.Message} MessageBody: {message}");
}
if (exceptions.Count > 1)
{
throw new AggregateException(exceptions);
}
if (exceptions.Count == 1)
{
throw exceptions.Single();
}
}
public async Task <IHttpActionResult> PostCurrentPosition(HttpRequestMessage request)
{
Stream streamContent = await request.Content.ReadAsStreamAsync();
streamContent.Seek(0, SeekOrigin.Begin);
ApiResponse <IGeographicalPosition> response = new ApiResponse <IGeographicalPosition>();
try
{
RequestGetPositionModel requestModel;
using (StreamReader requestReader = new StreamReader(streamContent, Encoding.GetEncoding("ISO-8859-1")))
{
requestModel = JsonConvert.DeserializeObject <RequestGetPositionModel>(requestReader.ReadToEnd());
}
using (LogicEngine logicEngine = new LogicEngine(DataEngineKind.Storage))
{
response.Result = await logicEngine.GetCurrentPosition(requestModel.TaxyId, requestModel.TravelId);
}
}
catch (PlatformException ex)
{
response.Code = -1;
response.Message = ex.Message;
EventManager.WriteEvent(ex);
}
catch (LogicException ex)
{
response.Code = 100;
response.Message = ex.Message;
EventManager.WriteEvent(ex);
}
catch (Exception ex)
{
response.Code = -200;
response.Message = ex.Message;
EventManager.WriteEvent(ex);
}
return(Json(response, new JsonSerializerSettings()));
}
public static async Task <IActionResult> Run([HttpTrigger(AuthorizationLevel.Function, "post", Route = "search/detail")] HttpRequest req, ILogger log)
{
var dateStart = DateTime.Now;
log.LogInformation("HTTP trigger function init request.");
string requestBody = await new StreamReader(req.Body).ReadToEndAsync();
try
{
ScraperConfig scraperConfig = JsonConvert.DeserializeObject <ScraperConfig>(requestBody);
if (scraperConfig == null || string.IsNullOrEmpty(scraperConfig.Source))
{
return(new BadRequestObjectResult("Please pass ScraperConfig in the request body."));
}
LogicEngine logicEngine = new LogicEngine();
ItemInfo itemInfo = logicEngine.SearchDetail(scraperConfig);
var result = new OkObjectResult(itemInfo);
TimeSpan diff = DateTime.Now - dateStart;
log.LogInformation($"HTTP trigger function processed a request. Time: {diff.TotalMilliseconds} ms.");
return(result);
}
catch (PlatformException e)
{
log.LogError(new EventId(-200), e, $"xl-error-platform: {e.Message} RequestBody: {requestBody}");
throw e;
}
catch (Exception e)
{
log.LogError(new EventId(-100), e, $"xl-error: {e.Message} RequestBody: {requestBody}");
throw e;
}
}
public static async Task <IActionResult> Run([HttpTrigger(AuthorizationLevel.Function, "get", Route = "search")] HttpRequest req, ILogger log)
{
var dateStart = DateTime.Now;
log.LogInformation("HTTP trigger function init request.");
string keyword = req.Query["keyword"];
if (string.IsNullOrEmpty(keyword))
{
return(new BadRequestObjectResult("Please pass a name on the query string 'keyword' or in the request body."));
}
try
{
LogicEngine logicEngine = new LogicEngine();
SearchInfo searchInfo = logicEngine.Search(keyword);
var result = new OkObjectResult(searchInfo);
TimeSpan diff = DateTime.Now - dateStart;
log.LogInformation($"HTTP trigger function processed a request. Time: {diff.TotalMilliseconds} ms.");
await Task.Yield();
return(result);
}
catch (PlatformException e)
{
log.LogError(new EventId(-200), e, $"xl-error-platform: {e.Message} Keyword: {keyword}");
throw e;
}
catch (Exception e)
{
log.LogError(new EventId(-100), e, $"xl-error: {e.Message} Keyword: {keyword}");
throw e;
}
}
public StateManager(string _ruleSetName)
{
ruleSetName = _ruleSetName;
RulesEngine = new LogicEngine(new UnitySettings(), ruleSetName);
}
private void method_0(object sender, RoutedEventArgs e)
{
this.MySurveyId = SurveyHelper.SurveyID;
this.CurPageId = SurveyHelper.NavCurPage;
SurveyHelper.PageStartTime = DateTime.Now;
QDisplay qdisplay = new QDisplay();
qdisplay.Init(this.CurPageId, 0);
new SurveyBiz().ClearPageAnswer(this.MySurveyId, SurveyHelper.SurveySequence);
string navOperation = SurveyHelper.NavOperation;
this.MyNav.GroupLevel = qdisplay.QDefine.GROUP_LEVEL;
if (this.MyNav.GroupLevel != "")
{
this.MyNav.GroupPageType = qdisplay.QDefine.GROUP_PAGE_TYPE;
this.MyNav.GroupCodeA = qdisplay.QDefine.GROUP_CODEA;
this.MyNav.CircleACurrent = SurveyHelper.CircleACurrent;
this.MyNav.CircleACount = SurveyHelper.CircleACount;
if (navOperation == "Back")
{
if (this.MyNav.GroupLevel == "A" && this.MyNav.CircleACurrent > 1)
{
this.MyNav.CircleACurrent = this.MyNav.CircleACurrent - 1;
}
}
else if (this.MyNav.GroupLevel == "A" && this.MyNav.CircleACurrent == 0)
{
this.MyNav.CircleACurrent = 1;
}
this.MyNav.GetCircleInfo(this.MySurveyId);
}
string[] array = new LogicEngine
{
SurveyID = this.MySurveyId,
CircleBCode = this.MyNav.CircleBCode,
CircleACode = this.MyNav.CircleACode,
CircleACodeText = this.MyNav.CircleCodeTextA,
CircleACount = this.MyNav.CircleACount,
CircleACurrent = this.MyNav.CircleACurrent,
CircleBCodeText = this.MyNav.CircleCodeTextB,
CircleBCount = this.MyNav.CircleBCount,
CircleBCurrent = this.MyNav.CircleBCurrent
}.CircleGuideLogic(this.CurPageId, 1);
if (array.Count <string>() > 0 && array[0].ToString() != "")
{
new RandomBiz().RebuildCircleGuide(this.MySurveyId, qdisplay.QDefine.QUESTION_NAME, array, qdisplay.QDefine.IS_RANDOM);
}
int page_COUNT_DOWN = qdisplay.QDefine.PAGE_COUNT_DOWN;
if (page_COUNT_DOWN > 0)
{
Thread.Sleep(page_COUNT_DOWN);
}
if (navOperation == "Back")
{
this.method_2();
SurveyHelper.NavOperation = "Back";
return;
}
this.method_1();
}
public void TestInitialize()
{
// 18 females, 20 males = 38
AssemblyImageCount = 38;
TrustExchangeRoundCount = 24;
LogicEngine = new LogicEngine();
}
public void GetSuccessorsTest()
{
var engine = new LogicEngine(new TestSettings(), "core");
var node = LogicOperations.NodeFromString("!bc & !bf & !bs & !bw & !rc & !rf & !rs & !rw");
engine.GetSuccessors(node).Should().NotBeNull();
}
public void ConstructorTest()
{
var engine = new LogicEngine(new TestSettings(), "core");
engine.historyGraph.Should().NotBeNull();
}
