/// <summary>
/// Fill method for populating an entire collection of Valuations
/// </summary>
public virtual void Fill(Valuations valuations)
{
// create the connection to use
SqlConnection cnn = new SqlConnection(Valuation.GetConnectionString());
try
{
using (cnn)
{
// open the connection
cnn.Open();
// create an instance of the reader to fill.
SqlDataReader datareader = SqlHelper.ExecuteReader(cnn, "gsp_SelectValuations");
// Send the collection and data to the object factory
CreateObjectsFromData(valuations, datareader);
// close the connection
cnn.Close();
}
// nullify the connection
cnn = null;
}
catch (SqlException sqlex)
{
throw sqlex;
}
}
/// <summary>
/// The object factory for a particular data collection instance.
/// </summary>
public virtual void CreateObjectsFromData(Valuations valuations, System.Data.DataSet data)
{
// Do nothing if we have nothing
if (data == null || data.Tables.Count == 0 || data.Tables[0].Rows.Count == 0)
{
return;
}
// Create a local variable for the new instance.
Valuation newobj = null;
// Create a local variable for the data row instance.
System.Data.DataRow dr = null;
// Iterate through the table rows
for (int i = 0; i < data.Tables[0].Rows.Count; i++)
{
// Get a reference to the data row
dr = data.Tables[0].Rows[i];
// Create a new object instance
newobj = System.Activator.CreateInstance(valuations.ContainsType[0]) as Valuation;
// Let the instance set its own members
newobj.SetMembers(ref dr);
// Add the new object to the collection instance
valuations.Add(newobj);
}
}
private Valuation[] GetTopThreeValuations(double[] input, double[] output)
{
// The bestValuations is an array of the three best moves calculated by the neural network.
Valuation[] bestValuations = { Valuation.InitialValuation, Valuation.InitialValuation, Valuation.InitialValuation };
for (int i = 0; i < 64; i++)
{
if (input[i] != 0)
{
continue;
}
double v = output[i];
if (v > bestValuations[0].Value)
{
bestValuations[2] = bestValuations[1];
bestValuations[1] = bestValuations[0];
bestValuations[0] = new Valuation(i, v);
}
else if (v > bestValuations[1].Value)
{
bestValuations[2] = bestValuations[1];
bestValuations[1] = new Valuation(i, v);
}
else if (v > bestValuations[2].Value)
{
bestValuations[2] = new Valuation(i, v);
}
}
return(bestValuations);
}
public async Task <IHttpActionResult> PutValuation(int id, Valuation valuation)
{
if (!ModelState.IsValid)
{
return(BadRequest(ModelState));
}
if (id != valuation.Id)
{
return(BadRequest());
}
db.Entry(valuation).State = EntityState.Modified;
try
{
await db.SaveChangesAsync();
}
catch (DbUpdateConcurrencyException)
{
if (!ValuationExists(id))
{
return(NotFound());
}
else
{
throw;
}
}
return(StatusCode(HttpStatusCode.NoContent));
}
public void RunRealtimeValuation(int valuationId)
{
ValuationStatus = "Running";
Valuation valuation = _valuationRepo.GetValuation(valuationId);
//retrieve portfolios
List <Portfolio> portfolios = new List <Portfolio>();
portfolios = _portfolioRepo.GetPortoflios();
if (portfolios.Count == 0)
{
return;
}
//get realtime prices
List <PriceValue> prices = _priceEngine.GetPrices(GetAllSymbolsFromPositions(portfolios));
if (prices.Count <= 0)
{
return;
}
//save prices
SavePriceValues(prices);
//valuation positions
ValuePositions(portfolios, prices, valuation.Id);
}
public override void SyncOutput(Valuation GlobalEnv, List <ConfigurationWithChannelData> list)
{
//List<ConfigurationWithChannelData> list = new List<ConfigurationWithChannelData>(1);
if (Specification.SyncrhonousChannelNames.Contains(ChannelName))
{
string eventName = ChannelName;
string eventID = ChannelName;
Expression[] newExpressionList = new Expression[ExpressionList.Length];
for (int i = 0; i < ExpressionList.Length; i++)
{
newExpressionList[i] = EvaluatorDenotational.Evaluate(ExpressionList[i], GlobalEnv);
eventName += "." + newExpressionList[i];
eventID += "." + newExpressionList[i].ExpressionID;
}
if (eventID != eventName)
{
list.Add(new ConfigurationWithChannelData(Process, eventID, eventName, GlobalEnv, false, ChannelName, newExpressionList));
}
else
{
list.Add(new ConfigurationWithChannelData(Process, eventID, null, GlobalEnv, false, ChannelName, newExpressionList));
}
}
//return list;
}
public override void SyncOutput(Valuation GlobalEnv, List <ConfigurationWithChannelData> list)
{
//List<ConfigurationWithChannelData> returnList = new List<ConfigurationWithChannelData>();
for (int i = 0; i < Processes.Count; i++)
{
Process process = Processes[i];
List <ConfigurationWithChannelData> list1 = new List <ConfigurationWithChannelData>();
process.SyncOutput(GlobalEnv, list1);
foreach (ConfigurationWithChannelData pair in list1)
{
Configuration step = pair;
List <Process> newProcess = new List <Process>(Processes.Count);
newProcess.AddRange(Processes);
newProcess[i] = step.Process;
step.Process = new IndexInterleave(newProcess);
}
list.AddRange(list1);
}
//return returnList;
}
public CardForm(Card _card)
{
InitializeComponent();
card = _card;
Text = _card.Name;
Valuation valuation = NetDecks.Valuations.FirstOrDefault(x => x.Card == card);
if (valuation == null)
{
return;
}
{
List <Deck> unique = valuation.Decks.OrderBy(x => x.Key.Tier).ThenBy(x => x.Key.MyDust).Select(x => x.Key).GroupBy(x => x.DuplicateIndicatior, (k, g) => g.First()).ToList();
radGridView1.MasterTemplate.ShowRowHeaderColumn = false;
radGridView1.DataSource = unique;
radGridView1.Size = new Size(Width, 30 + unique.Count * 23);
Size = new Size(Width, 100 + unique.Count * 23);
label1.Text = $"{unique.Count} unique of {valuation.Decks.Count}";
label2.Text = $"{unique.Count(x => x.MyDust == card.Dust)} / " +
$"{unique.Count(x => x.MyDust != card.Dust && x.Cards.First(y => y.Key == card).Value - card.Own > 0)} / " +
$"{unique.Count(x => card.Own >= x.Cards.First(y => y.Key == card).Value)}";
}
}
public override void MoveOneStep(Valuation GlobalEnv, List <Configuration> list)
{
System.Diagnostics.Debug.Assert(list.Count == 0);
if (FirstProcess.IsSkip())
{
SecondProcess.MoveOneStep(GlobalEnv, list);
return;
}
FirstProcess.MoveOneStep(GlobalEnv, list);
for (int i = 0; i < list.Count; i++)
{
Configuration step = list[i];
if (step.Event == Constants.TERMINATION)
{
step.Event = Constants.TAU;
step.Process = SecondProcess;
}
else
{
Sequence p = new Sequence(step.Process, this.SecondProcess);
step.Process = p;
}
list[i] = step;
}
}
public override void MoveOneStep(Valuation GlobalEnv, List <Configuration> list)
{
System.Diagnostics.Debug.Assert(list.Count == 0);
FirstProcess.MoveOneStep(GlobalEnv, list);
for (int i = 0; i < list.Count; i++)
{
Configuration step = list[i];
if (step.Event != Constants.TERMINATION)
{
Interrupt inter = new Interrupt(step.Process, SecondProcess);
step.Process = inter;
}
}
List <Configuration> list2 = new List <Configuration>();
SecondProcess.MoveOneStep(GlobalEnv, list2);
for (int i = 0; i < list2.Count; i++)
{
Configuration step = list2[i];
if (step.Event == Constants.TAU)
{
Interrupt inter = new Interrupt(FirstProcess, step.Process);
step.Process = inter;
}
list.Add(step);
}
//return returnList;
}
public void Should_return_0dot02_volumen_can_buy_when_have_1500_pln_on_index_DE30()
{
var symbol = "DE30";
var categoryName = CategoryName.Index;
var contractSize = 25;
var bidPrice = 12265.3;
var askPrice = 12267.8;
var currency = "EUR";
var laverage = 5;
var precision = 1;
var spread = 1;
var valuation = new Valuation(bidPrice, askPrice);
var instrument = new Instrument(symbol, categoryName, currency, valuation, new TimeSpan(02, 00, 00));
instrument.SetContractSize(contractSize);
instrument.SetLeverage(laverage);
instrument.SetPrecision(precision);
instrument.SetSpread(spread);
var volumeToBuy = instrument.ComputeVolumeToBuyByMaxPrice(1500, instrument.Valuation.BidPrice);
Assert.Equal(0.02M, volumeToBuy);
}
public override void SyncOutput(Valuation GlobalEnv, List <ConfigurationWithChannelData> list)
{
//List<ConfigurationWithChannelData> returnList = new List<ConfigurationWithChannelData>();
for (int i = 0; i < Processes.Count; i++)
{
Process process = Processes[i];
List <ConfigurationWithChannelData> list1 = new List <ConfigurationWithChannelData>();
process.SyncOutput(GlobalEnv, list1);
for (int j = 0; j < list1.Count; j++)
{
Configuration step = list1[j];
List <Process> newProcess = new List <Process>(Processes.Count);
newProcess.AddRange(Processes);
newProcess[i] = step.Process;
step.Process = new IndexParallel(newProcess, Alphabets);
}
list.AddRange(list1);
}
//return returnList;
}
private int count = 0; // used for testing right mouse clicks
private void Awake()
{
var vals = this.GetComponentsInChildren <Valuation>();
this.firstValuation = vals[0];
this.secondValuation = vals[1];
}
public override void SyncOutput(Valuation GlobalEnv, List <ConfigurationWithChannelData> list)
{
for (int i = 0; i < Processes.Count; i++)
{
Process process = Processes[i];
List <ConfigurationWithChannelData> list1 = new List <ConfigurationWithChannelData>();
process.SyncOutput(GlobalEnv, list1);
if (list1.Count > 0)
{
List <Dictionary <string, int> > nextProcessCounters =
Common.Classes.Ultility.Ultility.ProcessCounterDecrement(MustAbstract ? Common.Classes.Ultility.Ultility.CutNumber : -1, ProcessesCounter, process.ProcessID, 1);
for (int j = 0; j < list1.Count; j++)
{
ConfigurationWithChannelData step = list1[j];
foreach (Dictionary <string, int> ints in nextProcessCounters)
{
List <Process> newProcess = new List <Process>(Processes);
Dictionary <string, int> listInstance = new Dictionary <string, int>(ints);
AddOneProcess(newProcess, step.Process, listInstance);
IndexInterleaveAbstract interleave = new IndexInterleaveAbstract(newProcess, listInstance);
ConfigurationWithChannelData newStep = new ConfigurationWithChannelData(interleave, step.Event, step.DisplayName, step.GlobalEnv, step.IsDataOperation, list1[j].ChannelName, list1[j].Expressions);
newStep.IsAtomic = step.IsAtomic;
list.Add(newStep);
}
}
}
}
}
public override void Initialize(SpecificationBase spec)
{
//initialize the ModelCheckingOptions
base.Initialize(spec);
Specification Spec = spec as Specification;
ReachableStateCondition = Spec.DeclarationDatabase[ReachableStateLabel];
List <string> varList = Process.GetGlobalVariables();
varList.AddRange(ReachableStateCondition.GetVars());
varList.AddRange(ConstraintCondition.GetVars());
Valuation GlobalEnv = Spec.SpecValuation.GetVariableChannelClone(varList, Process.GetChannels());
//Initialize InitialStep
InitialStep = new Configuration(Process, Constants.INITIAL_EVENT, null, GlobalEnv, false);
MustAbstract = Process.MustBeAbstracted();
if (MustAbstract)
{
throw new ParsingException(
"Process " + StartingProcess +
" has infinite states and therefore can not be used to assert reachability with MIN/MAX constraints!",
AssertToken);
}
}
private static Valuation CreateValuationFromXmlNode(XmlNode valuationNode)
{
DateTime date = XmlHelper.GetNodeValueDate("Date", valuationNode);
var price = new Decimal(XmlHelper.GetNodeValueDouble("Price", valuationNode));
var valuation = new Valuation(date, price);
return(valuation);
}
private void Awake()
{
var vals = this.GetComponentsInChildren <Valuation>();
this.firstValuation = vals[0];
this.secondValuation = vals[1];
oracleAnimator = GetComponent <Animator>();
}
/**
* BASE CLASS VARIABLEs
*
* public string Event;
* public string DisplayName;
* public Valuation GlobalEnv; //-> the global variable
*
* public bool IsDeadLock; //-> fire to mark when checking Deadlock Assertion
* public bool IsAtomic;
* public bool IsDataOperation;
* public string[] ParticipatingProcesses;
*/
/// <summary>
/// This constructor is called from the assertion to intial a configuration
///
/// Status: incompleted: How to initial value for globalEnv
/// </summary>
/// <param name="p"></param>
/// <param name="e"></param>
/// <param name="displayName"></param>
/// <param name="globalEnv"></param>
/// <param name="isDataOperation"></param>
public PNConfiguration(PetriNet p, string e, string displayName, Valuation globalEnv, bool isDataOperation)
{
Process = p;
Event = e;//base event
GlobalEnv = globalEnv;
DisplayName = displayName;
IsDataOperation = isDataOperation;
}
public Configuration(Process p, string e, string displayName, Valuation globalEnv, bool isDataOperation)
{
Process = p;
Event = e;
GlobalEnv = globalEnv;
DisplayName = displayName;
IsDataOperation = isDataOperation;
}
/// <summary>
/// 属性赋值构造函数
/// </summary>
/// <param name="level">教材水平</param>
/// <param name="service">出版社服务质量</param>
/// <param name="apply">出版社影响力</param>
/// <param name="pcount">应用面</param>
public _Evaluaion(Valuation level, Valuation service, Valuation influ, Valuation apply)
{
Level = level;
ServiceQuality = service;
Influence = influ;
Application = apply;
SetPrintingCount();
}
public override void SyncOutput(Valuation GlobalEnv, List <ConfigurationWithChannelData> list)
{
Process.SyncOutput(GlobalEnv, list);
foreach (ConfigurationWithChannelData step in list)
{
step.Process = new AtomicProcess(step.Process);
step.IsAtomic = true;
}
}
public override void SyncOutput(Valuation GlobalEnv, List <ConfigurationWithChannelData> list)
{
for (int i = 0; i < Processes.Count; i++)
{
List <ConfigurationWithChannelData> list1 = new List <ConfigurationWithChannelData>();
Processes[i].SyncOutput(GlobalEnv, list1);
list.AddRange(list1);
}
}
public override void SyncOutput(Valuation GlobalEnv, List <ConfigurationWithChannelData> list)
{
Process.SyncOutput(GlobalEnv, list);
foreach (ConfigurationWithChannelData pair in list)
{
Configuration step = pair;
step.Process = new Hiding(step.Process, HidingAlphabets);
}
}
public static void Initialize(AssertionBase Assertion, PetriNet Process, SpecificationBase spec)
{
Specification Spec = spec as Specification;
//get the relevant global variables; remove irrelevant variables so as to save memory;
Valuation GlobalEnv = Spec.SpecValuation.GetClone();
//Initialize InitialStep
Assertion.InitialStep = new PNConfiguration(Process, Constants.INITIAL_EVENT, null, GlobalEnv, false, spec);
}
/// <summary>
/// Add channel variable to model from channel delcaration in Valuation
/// </summary>
/// <param name="valuation"></param>
public void AddGlobalChannel(Valuation valuation)
{
if (valuation.Channels != null && valuation.Channels.Count > 0)
{
foreach (KeyValuePair <string, ChannelQueue> pair in valuation.Channels)
{
model.AddGlobalChannel(pair.Key, pair.Value.Size);
}
}
}
protected void CheckVariableRange()
{
foreach (KeyValuePair <string, Declaration> declaration in DeclaritionTable)
{
if (declaration.Value.DeclarationType == DeclarationType.Variable)
{
Valuation.CheckVariableRange(declaration.Key, SpecValuation.Variables[declaration.Key], declaration.Value.DeclarationToken.Line, declaration.Value.DeclarationToken.CharPositionInLine);
}
}
}
public async Task <int> addValuations(Valuation valuation)
{
using (var db = new SqlConnection(LinkSQL))
{
var sql = $@"INSERT INTO [dbo].[valuation] ([booksid],[content],[userName]) VALUES (@booksid,@content,@userName)";
var result = await db.ExecuteAsync(sql, valuation);
return(result);
}
}
public override void MoveOneStep(Valuation GlobalEnv, List <Configuration> list)
{
System.Diagnostics.Debug.Assert(list.Count == 0);
ExpressionValue v = EvaluatorDenotational.Evaluate(ConditionalExpression, GlobalEnv);
if ((v as BoolConstant).Value)
{
list.Add(new Configuration(FirstProcess, Constants.TAU, "[ifb(" + ConditionalExpression + ")]", GlobalEnv, false));
}
}
public override void SyncOutput(Valuation GlobalEnv, List <ConfigurationWithChannelData> list)
{
ExpressionValue v = EvaluatorDenotational.Evaluate(Condition, GlobalEnv);
if ((v as BoolConstant).Value)
{
Process.SyncOutput(GlobalEnv, list);
}
//return new List<ConfigurationWithChannelData>(0);
}
public async Task <IHttpActionResult> GetValuation(int id)
{
Valuation valuation = await repo.GetValuationAsync(id);
if (valuation == null)
{
return(NotFound());
}
return(Ok(valuation));
}
private void button1_Click(object sender, EventArgs e)
{
//int il_atomow = (int)numericUpDown1.Value;
string dictSeq =textBox1.Text;
string dictSeq2 = textBox2.Text;
int numberOfAtoms=(int)numericUpDown1.Value;
// Console.WriteLine("Ile atomów?");
// numberOfAtoms = Convert.ToInt32(Console.ReadLine());
//numberOfAtoms = il_atomow;
Valuation val = new Valuation(numberOfAtoms);
Valuation.InterrConn Connn = new Valuation.InterrConn(Program.itIsNecessary);
Valuation.Val Valuation = new Valuation.Val(Program.valVariables);
try
{
string beta = textBox3.Text;
string dictSequence = dictSeq;
string dictSequence_var = dictSeq2;
Dictionary<int, List<int>> Dict =
Program.toDictionary(dictSequence);
Dictionary<string, int[]> Dict_var =
Program.toDictionary_str(dictSequence_var);
Program.setDictNecess(Dict);
Program.setDictValuaVar(Dict_var);
Formula fromBeta = Program.ToFormula(beta);
Set<int> Valua_beta = new Set<int>();
Valua_beta = val.Valua(Connn, Valuation, fromBeta);
if(Valua_beta.Elements.Count!=0)
{
Program.sort(ref Valua_beta);
textBox4.Text = Valua_beta.ToString().Substring(0,Valua_beta.ToString().Length-3)+"}";
}
else textBox4.Text="{}";
}
catch
{
MessageBox.Show("Something is wrong with formats");}
}
