C# (CSharp) MSOZ3 WS1SZ3Formula.Normalize Beispiele

Beispiel #1

 public override WS1SZ3Formula Normalize()
 {
     if (phi is WS1SZ3Not)
     {
         return((phi as WS1SZ3Not).phi.Normalize());
     }
     return(new WS1SZ3Not(phi.Normalize()));;
 }

Beispiel #2

 public override WS1SZ3Formula Normalize()
 {
     return(new WS1SZ3And(left.Normalize(), right.Normalize()));
 }

Beispiel #3

 public override WS1SZ3Formula Normalize()
 {
     return(new WS1SZ3Exists(variable, phi.Normalize()));
 }