private Bracket AtLeastOne(List <Variable> pVariables)
{
var formular = new Bracket();
for (int i = 0; i < pVariables.Count; i++)
{
var variable1 = pVariables[i];
if (i > 0)
{
formular.Add(_or);
}
formular.Add(variable1);
}
return(formular);
}
private static Bracket InTheBeginningStartState()
{
Bracket formula = new Bracket();
formula.Add(new Bracket()
{
new Variable("Q0,0")
});
return(formula);
}
private static Bracket HeadInTheBeginningAtTheStart()
{
Bracket formula = new Bracket();
formula.Add(new Bracket()
{
new Variable("H0,0")
});
return(formula);
}
private static void Compare(int start,
int count,
int scoreIndex,
int tier)
{
for (int i = start; i < count; i += 2)
{
if (Bracket[i].Score > Bracket[i + 1].Score)
{
int playerIndex = Bracket[i].PlayerIndex;
Game game = new Game()
{
Name = Bracket[i].Name,
PlayerIndex = playerIndex,
Score = Players[playerIndex].Scores[scoreIndex],
Tier = tier
};
Bracket.Add(game);
if (i == TIER_3_START || i == TIER_3_END)
{
SecondPlace = Bracket[i + 1].Name;
}
}
else
{
int playerIndex = Bracket[i + 1].PlayerIndex;
Game game = new Game()
{
Name = Bracket[i + 1].Name,
PlayerIndex = playerIndex,
Score = Players[playerIndex].Scores[scoreIndex],
Tier = tier
};
Bracket.Add(game);
if (i == TIER_3_START || i == TIER_3_END)
{
SecondPlace = Bracket[i].Name;
}
}
}
}
