translations to afp graph theory