Searched refs:writeBehaviourDataClass (Results 1 – 4 of 4) sorted by relevance
707 virtual void writeBehaviourDataClass(std::ostream&, const Hypothesis) const;
838 virtual void writeBehaviourDataClass(std::ostream&, const Hypothesis) const;
841 this->writeBehaviourDataClass(behaviourDataFile, h);870 this->writeBehaviourDataClass(behaviourDataFile, h);2938 void BehaviourDSLCommon::writeBehaviourDataClass(std::ostream& os, const Hypothesis h) const {
1514 this->writeBehaviourDataClass(behaviourDataFile, h); in generateOutputFiles()3795 void BehaviourDSLCommon::writeBehaviourDataClass(std::ostream& os, const Hypothesis h) const { in writeBehaviourDataClass() function in mfront::BehaviourDSLCommon