A connected graph has an Euler circuit if and only if:
Every vertex has an even degree
Every vertex has an odd degree
It is a complete graph
It has no cycles