Exemplos de MSOZ3 WS1SZ3Formula em C# (CSharp)

Exemplo n.º 1

 public WS1SZ3Exists(String variable, WS1SZ3Formula phi)
 {
     this.phi      = phi;
     this.variable = variable;
 }

Exemplo n.º 2

 public WS1SZ3Not(WS1SZ3Formula phi)
 {
     this.phi = phi;
 }

Exemplo n.º 3

 public WS1SZ3And(WS1SZ3Formula left, WS1SZ3Formula right)
 {
     this.left  = left;
     this.right = right;
 }

Exemplo n.º 4

Arquivo: WS1SZ3.cs Projeto: AutomataTutor/automatatutor-backend

 public WS1SZ3Exists(String variable, WS1SZ3Formula phi)
 {
     this.phi = phi;
     this.variable = variable;
 }

Exemplo n.º 5

Arquivo: WS1SZ3.cs Projeto: AutomataTutor/automatatutor-backend

 public WS1SZ3Not(WS1SZ3Formula phi)
 {
     this.phi = phi;
 }

Exemplo n.º 6

Arquivo: WS1SZ3.cs Projeto: AutomataTutor/automatatutor-backend

 public WS1SZ3And(WS1SZ3Formula left, WS1SZ3Formula right)
 {            
     this.left = left;
     this.right = right;
 }