Home
last modified time | relevance | path

Searched refs:NegEqualSign (Results 1 – 3 of 3) sorted by relevance

/dports/math/eprover/eprover-E-2.0/INOUT/
H A Dcio_scanner.h67 #define NegEqualSign (2*EqualSign) macro
68 #define TildeSign (2*NegEqualSign)
H A Dcio_scanner.c54 {NegEqualSign, "Negated Equal Predicate ('!=')"},
453 AktToken(in)->tok = NegEqualSign; in scan_token()
/dports/math/eprover/eprover-E-2.0/CLAUSES/
H A Dccl_eqn.c324 if(TestInpTok(in, NegEqualSign)) in eqn_parse_infix()
328 AcceptInpTok(in, NegEqualSign|EqualSign); in eqn_parse_infix()
335 else if(TestInpTok(in, NegEqualSign|EqualSign)) in eqn_parse_infix()
338 if(TestInpTok(in, NegEqualSign)) in eqn_parse_infix()
342 AcceptInpTok(in, NegEqualSign|EqualSign); in eqn_parse_infix()