예제 #1
0
파일: Formule.cs 프로젝트: RomanovX/RubySat
 public bool KanOnwaar(Valuatie v)
 {
     // Een propositie kan onwaar zijn als er nog geen valuatie aan is toegekend, of de valuatie onwaar is
     if (!v.BevatVariabele(variabele))
     {
         return(true);
     }
     return(!v.GeefWaarde(variabele));
 }
예제 #2
0
파일: Formule.cs 프로젝트: RomanovX/RubySat
 public bool Waarde(Valuatie v)
 {
     return(v.GeefWaarde(variabele));
 }