Searched defs:vtsa (Results 1 – 1 of 1) sorted by relevance
368 VirtualTermSkolemAttribute vtsa; in getVtsDelta() local383 VirtualTermSkolemAttribute vtsa; in getVtsInfinity() local