Logo Search packages:      
Sourcecode: zinc-compiler version File versions  Download package

disequal.h

#line 12 "disequal.nw"
extern NodeInfo diseq_info;
typedef struct diseq_constraint {
    Constraint cstr;
    Node       *node;
} Disequality;

#line 22 "disequal.nw"
DECLARE_ENTRYPOINT(___61__47__61_);


Generated by  Doxygen 1.6.0   Back to index