Esempio n. 1
0
 public override MathematicalLattice.Element NontrivialMeet(MathematicalLattice.Element a, MathematicalLattice.Element b)
 {
     return(AVal.Meet((AVal)a, (AVal)b));
 }