Revision Log
Revision: 1.3 - (view) (download) (as text)
| 1 : | ktanaka | 1.1 | #ifndef _ASSUMPTION_H |
| 2 : | #define _ASSUMPTION_H | ||
| 3 : | ktanaka | 1.3 | #include <vector> |
| 4 : | #include <iostream> | ||
| 5 : | ktanaka | 1.1 | |
| 6 : | enum PtypeMask{ | ||
| 7 : | TenMask=1<<0, | ||
| 8 : | YokoMask=1<<1, | ||
| 9 : | TateMask=1<<2, | ||
| 10 : | ktanaka | 1.2 | HidariMask=1<<3, |
| 11 : | TatehaneMask=1<<4, | ||
| 12 : | TatehidariMask=1<<5, | ||
| 13 : | ktanaka | 1.1 | }; |
| 14 : | enum JointType{ | ||
| 15 : | Start, | ||
| 16 : | JointStart, | ||
| 17 : | Mid, | ||
| 18 : | End, | ||
| 19 : | JointEnd, | ||
| 20 : | }; | ||
| 21 : | |||
| 22 : | class SimpleAssumption{ | ||
| 23 : | ktanaka | 1.3 | friend std::ostream& operator<<(std::ostream &os,const SimpleAssumption &sa); |
| 24 : | ktanaka | 1.1 | protected: |
| 25 : | PtypeMask pmask; | ||
| 26 : | JointType jtype; | ||
| 27 : | ktanaka | 1.2 | double x, y; |
| 28 : | ktanaka | 1.1 | int angle; |
| 29 : | ktanaka | 1.2 | int hint; |
| 30 : | ktanaka | 1.1 | public: |
| 31 : | ktanaka | 1.2 | SimpleAssumption(PtypeMask pm, JointType jt,double xx,double yy, int a,int h) |
| 32 : | :pmask(pm), jtype(jt), x(xx), y(yy), angle(a), hint(h){} | ||
| 33 : | ktanaka | 1.1 | }; |
| 34 : | class AndAssumption{ | ||
| 35 : | ktanaka | 1.3 | friend std::ostream& operator<<(std::ostream &os,const AndAssumption &aa); |
| 36 : | ktanaka | 1.1 | protected: |
| 37 : | ktanaka | 1.3 | std::vector<SimpleAssumption> saList; |
| 38 : | ktanaka | 1.1 | public: |
| 39 : | AndAssumption& add(const SimpleAssumption &sa){ | ||
| 40 : | saList.push_back(sa); | ||
| 41 : | return *this; | ||
| 42 : | } | ||
| 43 : | }; | ||
| 44 : | class Assumption{ | ||
| 45 : | ktanaka | 1.3 | friend std::ostream& operator<<(std::ostream &os,const Assumption &as); |
| 46 : | ktanaka | 1.1 | private: |
| 47 : | ktanaka | 1.3 | std::vector<AndAssumption> aaList; |
| 48 : | ktanaka | 1.1 | public: |
| 49 : | Assumption& add(const AndAssumption &sa){ | ||
| 50 : | aaList.push_back(sa); | ||
| 51 : | return *this; | ||
| 52 : | } | ||
| 53 : | ktanaka | 1.2 | Assumption& add(const SimpleAssumption &sa){ |
| 54 : | aaList.push_back(AndAssumption().add(sa)); | ||
| 55 : | return *this; | ||
| 56 : | } | ||
| 57 : | ktanaka | 1.1 | }; |
| 58 : | ktanaka | 1.3 | std::ostream& operator<<(std::ostream &os,const SimpleAssumption &sa){ |
| 59 : | ktanaka | 1.1 | os << "SimpleAssumption(pmask=" << (int)(sa.pmask) << ",jtype=" << (int)(sa.jtype) |
| 60 : | ktanaka | 1.2 | << ",x=" << sa.x << ",y=" << sa.y << ",angle=" << sa.angle |
| 61 : | << ",hint=" << sa.hint << ")"; | ||
| 62 : | ktanaka | 1.1 | return os; |
| 63 : | } | ||
| 64 : | ktanaka | 1.3 | std::ostream& operator<<(std::ostream &os,const AndAssumption &aa){ |
| 65 : | std::vector<SimpleAssumption>::const_iterator it; | ||
| 66 : | ktanaka | 1.2 | if(aa.saList.size()==1){ |
| 67 : | return os << *(aa.saList.begin()); | ||
| 68 : | } | ||
| 69 : | ktanaka | 1.1 | os << "AndAssumption("; |
| 70 : | for(it=aa.saList.begin(); it!=aa.saList.end(); it++){ | ||
| 71 : | os << *it << ' '; | ||
| 72 : | } | ||
| 73 : | os << ")"; | ||
| 74 : | return os; | ||
| 75 : | } | ||
| 76 : | ktanaka | 1.3 | std::ostream& operator<<(std::ostream &os,const Assumption &a){ |
| 77 : | std::vector<AndAssumption>::const_iterator it; | ||
| 78 : | ktanaka | 1.2 | if(a.aaList.size()==1){ |
| 79 : | return os << *(a.aaList.begin()); | ||
| 80 : | } | ||
| 81 : | ktanaka | 1.1 | os << "Assumption("; |
| 82 : | for(it=a.aaList.begin(); it!=a.aaList.end(); it++){ | ||
| 83 : | os << *it << ' '; | ||
| 84 : | } | ||
| 85 : | os << ")"; | ||
| 86 : | return os; | ||
| 87 : | } | ||
| 88 : | |||
| 89 : | #endif /* _ASSUMPTION_H */ |
|
ktanaka Powered by ViewCVS 1.0-dev |
ViewCVS and CVS Help |