lala::SolverOutput< Allocator > Class Template Reference

#include <solver_output.hpp>

Classes
class	SimplifierIdentity

Public Member Functions
CUDA	SolverOutput (const Allocator &alloc)
CUDA	SolverOutput (const Allocator &alloc, OutputType outputType)
	SolverOutput (SolverOutput &&)=default
SolverOutput< Allocator > &	operator= (const SolverOutput< Allocator > &)=default
template<class Alloc >
CUDA SolverOutput< Allocator > &	operator= (const SolverOutput< Alloc > &other)
template<class Alloc2 >
CUDA	SolverOutput (const SolverOutput< Alloc2 > &other, const Allocator &allocator=Allocator{})
void	add_array_var (const std::string &name, const bstring &var_name, const peg::SemanticValues &sv)
void	add_var (const bstring &var_name)
bvector< bstring >	getOutputVars ()
template<class Env , class A , class S >
CUDA void	print_solution_flat_zinc (const Env &env, const A &sol, const S &simplifier=SimplifierIdentity{}) const
template<class Env , class A , class S >
CUDA void	print_solution_xml (const Env &env, const A &sol, const S &simplifier=SimplifierIdentity{}) const
template<class Env , class A , class S >
CUDA void	print_solution (const Env &env, const A &sol, const S &simplifier=SimplifierIdentity{}) const

Friends
template<class Alloc2 >
class	SolverOutput

Constructor & Destructor Documentation

SolverOutput() [1/4]

template<class Allocator >

CUDA lala::SolverOutput< Allocator >::SolverOutput ( const Allocator & alloc )

inline

SolverOutput() [2/4]

template<class Allocator >

CUDA lala::SolverOutput< Allocator >::SolverOutput ( const Allocator & alloc, OutputType outputType )

inline

SolverOutput() [3/4]

template<class Allocator >

lala::SolverOutput< Allocator >::SolverOutput ( SolverOutput< Allocator > && )

default

SolverOutput() [4/4]

template<class Allocator >

template<class Alloc2 >

CUDA lala::SolverOutput< Allocator >::SolverOutput ( const SolverOutput< Alloc2 > & other, const Allocator & allocator = Allocator{} )

inline

Member Function Documentation

operator=() [1/2]

template<class Allocator >

SolverOutput< Allocator > & lala::SolverOutput< Allocator >::operator= ( const SolverOutput< Allocator > & )

default

operator=() [2/2]

template<class Allocator >

template<class Alloc >

CUDA SolverOutput< Allocator > & lala::SolverOutput< Allocator >::operator= ( const SolverOutput< Alloc > & other )

inline

add_array_var()

template<class Allocator >

void lala::SolverOutput< Allocator >::add_array_var ( const std::string & name, const bstring & var_name, const peg::SemanticValues & sv )

inline

add_var()

template<class Allocator >

void lala::SolverOutput< Allocator >::add_var ( const bstring & var_name )

inline

getOutputVars()

template<class Allocator >

bvector< bstring > lala::SolverOutput< Allocator >::getOutputVars ( )

inline

print_solution_flat_zinc()

template<class Allocator >

template<class Env , class A , class S >

CUDA void lala::SolverOutput< Allocator >::print_solution_flat_zinc ( const Env & env, const A & sol, const S & simplifier = SimplifierIdentity{} ) const

inline

print_solution_xml()

template<class Allocator >

template<class Env , class A , class S >

CUDA void lala::SolverOutput< Allocator >::print_solution_xml ( const Env & env, const A & sol, const S & simplifier = SimplifierIdentity{} ) const

inline

print_solution()

template<class Allocator >

template<class Env , class A , class S >

CUDA void lala::SolverOutput< Allocator >::print_solution ( const Env & env, const A & sol, const S & simplifier = SimplifierIdentity{} ) const

inline

Friends And Related Symbol Documentation

SolverOutput

template<class Allocator >

template<class Alloc2 >

friend class SolverOutput

friend

---

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

• include/lala/solver_output.hpp