Lines Matching defs:options
30 fe_iface::options_type options;
36 : corpus_path(path), options(e)
46 //TODO: initialize the options.
91 /// Getter of the the options of the current Front End Interface.
93 /// @return the options of the current Front End Interface.
95 fe_iface::options() const
96 {return priv_->options;}
98 /// Getter of the the options of the current Front End Interface.
100 /// @return the options of the current Front End Interface.
102 fe_iface::options()
103 {return priv_->options;}
144 {return priv_->options.load_in_linux_kernel_mode;}
210 priv_->corpus = std::make_shared<ir::corpus>(options().env,