Searched refs:getFilesystemAccess (Results 1 – 3 of 3) sorted by relevance
176 .withIncludeFile(options.getFilesystemAccess()); in withOptions()
89 bool Options::getFilesystemAccess() const{ in getFilesystemAccess() function in CVC4::Options
212 bool getFilesystemAccess() const;