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)
template<class Env , class A , class S >
CUDA void	print_solution_flatzinc (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

print_solution_flatzinc()

template<class Allocator >

template<class Env , class A , class S >

CUDA void lala::SolverOutput< Allocator >::print_solution_flatzinc ( 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