private void assert(PlayerImplementation Player, Context context)
{
int PlayerCount = context.playersToGetAction.Count;
int Pot = context.CurrentPot;
int bigBlind = context.BigBlind;
string status = context.currentAction.ToString();
float HandStrength = Player.HandStrength;
float HandPotential = Player.HandPotential;
string state = context.state().ToString();
int callAmount = context.CallAmount;
int PlayerMoney = Player.Chips;
Debug.Log(PlayerCount);
Debug.Log(Pot);
Debug.Log(bigBlind);
Debug.Log(status);
Debug.Log(HandStrength);
Debug.Log(HandPotential);
Debug.Log(state);
Debug.Log(callAmount);
Debug.Log(PlayerMoney);
Debug.Log("*******");
string goal = "decisionResult(" + PlayerCount + "," +
Pot + "," + bigBlind + "," + status + "," + HandStrength + "," +
HandPotential + "," + state + "," + callAmount + "," + PlayerMoney + ").";
UnityExtensionMethods.IsTrueParsed(kB, goal);
}
private void retract(bool raised)
{
UnityExtensionMethods.IsTrueParsed(kB, "retractall(finalDecision(X)).");
if (raised)
{
UnityExtensionMethods.IsTrueParsed(kB, "retractall(raiseAmount(X)).");
}
}
private void retract()
{
UnityExtensionMethods.IsTrueParsed(kB, "retractall(player(card(value(X),suit(Y)))).");
UnityExtensionMethods.IsTrueParsed(kB, "retractall(cardSuit(X,Y)).");
UnityExtensionMethods.IsTrueParsed(kB, "retractall(cardValue(X,Y)).");
UnityExtensionMethods.IsTrueParsed(kB, "retractall(flushPotential(X)).");
UnityExtensionMethods.IsTrueParsed(kB, "retractall(straightPotential(Y)).");
}
private void assert(List <Card> cards)
{
foreach (Card card in cards)
{
string goal = "assert(player(card(value(" + card.CardValue.ToString() + "),suit(" + card.suitValue + ")))).";
UnityExtensionMethods.IsTrueParsed(kB, goal);
}
}
