A set of timed conditions to represent non-convex constraints. More...

Public Member Functions
	TimedConditionSet (TimedCondition condition)

bool	empty () const

std::size_t	size () const

TimedCondition &	front ()

TimedCondition &	at (std::size_t i)

const std::vector< TimedCondition > &	getConditions () const

std::vector< std::size_t >	getStrictlyConstrainedVariables (const TimedCondition &originalCondition, const size_t examinedVariableSize) const
	Returns the set of variables strictly constrained compared with the original condition. More...

void	removeEqualityUpperBoundAssign ()
	Remove the equality upper bound.

void	push_back (const TimedCondition &condition)

TimedCondition &	back ()

decltype(conditions.begin())	begin ()

decltype(conditions.end())	end ()

Static Public Member Functions
static TimedConditionSet	bottom ()

static TimedConditionSet	reduce (std::list< ElementaryLanguage > elementaryLanguages)
	Construct a timed condition set from a set of simple elementary languages. More...

Detailed Description

A set of timed conditions to represent non-convex constraints.

Member Function Documentation

std::vector<std::size_t> learnta::TimedConditionSet::getStrictlyConstrainedVariables	(	const TimedCondition &	originalCondition,
		const size_t	examinedVariableSize
	)		const

inline

Returns the set of variables strictly constrained compared with the original condition.

Precondition: this conditions and original condition should have the same variable space.

static TimedConditionSet learnta::TimedConditionSet::reduce ( std::list< ElementaryLanguage > elementaryLanguages )

inlinestatic

Construct a timed condition set from a set of simple elementary languages.

Precondition: All the words should be the same; elementaryLanguages is a list of simple elementary languages

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