Microsoft.Z3.AST.operator C# (CSharp) Method

AST Class Documentation Show file Open project: sslab-gatech/juxta

operator() public static method

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