A direct encoding for NNC polyhedra