#include <terms.hpp>
|
CUDA | Binary (sub_ptr &&x_term, sub_ptr &&y_term) |
|
CUDA | Binary (this_type &&other) |
|
template<class A2 , class Group2 , class Alloc2 > |
CUDA | Binary (const Binary< A2, Group2, Alloc2 > &other, const allocator_type &allocator) |
|
CUDA bool | embed (A &a, const U &u) const |
|
CUDA void | project (const A &a, U &r) const |
|
CUDA NI void | print (const A &a) const |
|
template<class Env , class Allocator2 = typename Env::allocator_type> |
CUDA NI TFormula< Allocator2 > | deinterpret (const A &a, const Env &env, AType apc, Allocator2 allocator=Allocator2()) const |
|
CUDA size_t | length () const |
|
|
template<class A2 , class Group2 , class Alloc2 > |
class | Binary |
|
template<class AD , class Group , class Allocator >
◆ allocator_type
template<class AD , class Group , class Allocator >
template<class AD , class Group , class Allocator >
template<class AD , class Group , class Allocator >
◆ this_type
template<class AD , class Group , class Allocator >
◆ sub_type
template<class AD , class Group , class Allocator >
◆ sub_ptr
template<class AD , class Group , class Allocator >
◆ Binary() [1/3]
template<class AD , class Group , class Allocator >
◆ Binary() [2/3]
template<class AD , class Group , class Allocator >
◆ Binary() [3/3]
template<class AD , class Group , class Allocator >
template<class A2 , class Group2 , class Alloc2 >
◆ embed()
template<class AD , class Group , class Allocator >
Enforce x <op> y <= u
where <= is the lattice order of the underlying abstract universe. For instance, over the interval abstract universe, x + y <= [2..5]
will ensure that x + y
is eventually at least 2
and at most 5
.
◆ project()
template<class AD , class Group , class Allocator >
◆ print()
template<class AD , class Group , class Allocator >
◆ deinterpret()
template<class AD , class Group , class Allocator >
template<class Env , class Allocator2 = typename Env::allocator_type>
CUDA NI TFormula< Allocator2 > lala::pc::Binary< AD, Group, Allocator >::deinterpret |
( |
const A & | a, |
|
|
const Env & | env, |
|
|
AType | apc, |
|
|
Allocator2 | allocator = Allocator2() ) const |
|
inline |
◆ length()
template<class AD , class Group , class Allocator >
◆ Binary
template<class AD , class Group , class Allocator >
template<class A2 , class Group2 , class Alloc2 >
The documentation for this class was generated from the following file: