learnta::JuxtaposedZoneSet Class Reference

Public Member Functions
	JuxtaposedZoneSet (const TimedConditionSet &left, const TimedCondition &right)
	JuxtaposedZoneSet (const TimedConditionSet &left, const TimedCondition &right, const std::size_t commonVariableSize)
	Juxtapose with variable renaming. More...
	JuxtaposedZoneSet (const TimedCondition &left, const TimedConditionSet &right, const std::size_t commonVariableSize)
	Juxtapose with variable renaming. More...
void	addRenaming (const std::vector< std::pair< std::size_t, std::size_t >> &renaming)
	Add renaming constraints.
bool	operator== (const JuxtaposedZoneSet &another) const
	Check the equivalence of two juxtaposed zone sets. More...
bool	operator!= (const JuxtaposedZoneSet &another) const

Friends
std::ostream &	operator<< (std::ostream &os, const JuxtaposedZoneSet &set)

Constructor & Destructor Documentation

JuxtaposedZoneSet() [1/2]

learnta::JuxtaposedZoneSet::JuxtaposedZoneSet ( const TimedConditionSet &  left, const TimedCondition &  right, const std::size_t  commonVariableSize  )

inline

Juxtapose with variable renaming.

See also

JuxtaposedZone::JuxtaposedZone

Postcondition

All the resulting JuxtaposedZone is canonical

JuxtaposedZoneSet() [2/2]

learnta::JuxtaposedZoneSet::JuxtaposedZoneSet ( const TimedCondition &  left, const TimedConditionSet &  right, const std::size_t  commonVariableSize  )

inline

Juxtapose with variable renaming.

See also

JuxtaposedZone::JuxtaposedZone

Postcondition

All the resulting JuxtaposedZone is canonical

Member Function Documentation

operator==()

bool learnta::JuxtaposedZoneSet::operator== ( const JuxtaposedZoneSet &  another ) const

inline

Check the equivalence of two juxtaposed zone sets.

Precondition

Both of the juxtaposed zones are canonical

---

The documentation for this class was generated from the following file:

• include/juxtaposed_zone_set.hh