12#ifndef __CODAC2_ACTION_H__
13#define __CODAC2_ACTION_H__
34 class OctaSym :
public std::vector<int>,
public Action
38 OctaSym(std::initializer_list<int> s);
39 OctaSym(
const std::vector<int>& s);
40 CtcAction operator()(codac::Ctc& ctc)
const;
41 codac::IntervalVector operator()(
const codac::IntervalVector& x)
const;
42 OctaSym invert()
const;
44 friend std::ostream& operator<<(std::ostream& str,
const OctaSym& s);
47 OctaSym operator*(
const OctaSym& s1,
const OctaSym& s2);