Microsoft.Z3.AST.operator C# (CSharp) Méthode

AST Class Documentation Afficher le fichier Open project: sslab-gatech/juxta

operator() public static méthode

Comparison operator.
public static operator ( ) : bool
Résultat bool 
        public static bool operator !=(AST a, AST b)
        {
            return !(a == b);
        }
AST
AST
CompareTo
Create
DecRef
Equals
GetHashCode
IncRef
SExpr
ToString
Translate
operator