Searched defs:Operator (Results 1 – 3 of 3) sorted by relevance
33 enum Operator { enum
43 Operator::Operator(Arity pArity, Type pType) in Operator() function in mcld::Operator
66 public @interface Operator {} annotation in AtomicFormula