Home
last modified time | relevance | path

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

/dports/science/ascent/ascent-0.7.1-66-gbcf2742a/src/examples/proxies/kripke/Kripke/
H A DDirections.h5 #ifndef KRIPKE_DIRECTIONS_H__
6 #define KRIPKE_DIRECTIONS_H__ macro