예제 #1
0
파일: Target.cs 프로젝트: microsoft/exsim
 internal void AssumeFalse(Assumption assumption)
 {
     assumption.Probability = 0;
     Assume(assumption);
 }
예제 #2
0
파일: Target.cs 프로젝트: microsoft/exsim
        private void Assume(AssumptionName name, bool state)
        {
            Assumption assumption = new Assumption(name, (state) ? 1 : 0);

            Assume(assumption);
        }
예제 #3
0
파일: Target.cs 프로젝트: microsoft/exsim
 internal void AssumeTrue(Assumption assumption)
 {
     assumption.Probability = 1;
     Assume(assumption);
 }