learnta::FractionalOrder Class Reference

Order on the fractional part of the variables. More...

#include <fractional_order.hh>

Public Member Functions
	FractionalOrder (const FractionalOrder &order)=default
	FractionalOrder (FractionalOrder &&order)=default
FractionalOrder &	operator= (const FractionalOrder &order)=default
FractionalOrder &	operator= (FractionalOrder &&order)=default
	FractionalOrder (const std::vector< double > &fractionalParts)
	Construct a fractional order from a concrete vector of fractional parts.
const std::deque< ClockVariables > &	successorVariables () const
	Return the variable to elapse.
FractionalOrder	successor () const
	Make it to be the successor.
void	successorAssign ()
	Make it to be the successor.
std::deque< ClockVariables >	predecessorVariables () const
	Return the variable to backward-elapse.
FractionalOrder	predecessor () const
	Make it to be the predecessor.
FractionalOrder	extendN () const
	Add another variable \(x_{n+1}\) such that \(fractional(x_{n+1}) = 0\).
FractionalOrder	removeN () const
	Remove \(x_{N}\). More...
FractionalOrder	extendZero () const
	Rename each variable \(x_i\) to \(x_{i+1}\) and add \(x_0\) such that \(fractional(x_0) = 0\).
size_t	getSize () const
	Returns the number of the variables.
bool	operator== (const FractionalOrder &another) const
std::ostream &	print (std::ostream &os) const
std::size_t	hash_value () const

Detailed Description

Order on the fractional part of the variables.

We implement this order by a list of sets of integers. For example, [{x1, x2}, {x3}, {x4}] represents 0 = x1 = x2 < x3 < x4.

Member Function Documentation

removeN()

FractionalOrder learnta::FractionalOrder::removeN ( ) const

inline

Remove \(x_{N}\).

Precondition

\(x_{N} = 0\)

---

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

• include/fractional_order.hh