Represents a semi-deterministic predicate. More...

#include <pred.hpp>

Inheritance diagram for pl_search::SemiDetPred:

[legend]

Collaboration diagram for pl_search::SemiDetPred:

[legend]

Public Member Functions
	SemiDetPred (Engine *eng)
	Represents a semi-deterministic predicate.

bool	more_choices () override
	Applies a choice.

bool	is_non_det ()

Public Member Functions inherited from pl_search::Pred
	Pred (Engine *eng)
	Default constructor.

virtual void	initialize_call ()
	Initializes the predicate call.

virtual bool	apply_choice ()
	Applies a choice.

PredPtr	get_continuation ()
	Gets the continuation of the predicate.

virtual void	set_continuation (PredPtr cont)
	Sets the continuation of the predicate.

PredPtr	last_pred ()
	Follows the continuation chain to the last predicate.

bool	is_non_det ()
	Determines if the predicate is non-deterministic.

void	wrap_with_once ()
	Wraps the predicate with a once.

virtual	~Pred ()=default
	Virtual destructor for proper cleanup.

std::string	get_name ()
	For debugging.

Additional Inherited Members
Protected Attributes inherited from pl_search::Pred
PredPtr	continuation
	The continuation of the predicate.

Engine *	engine

Detailed Description

Represents a semi-deterministic predicate.

Constructor & Destructor Documentation

pl_search::SemiDetPred::SemiDetPred ( Engine * eng )

inline

Represents a semi-deterministic predicate.

Parameters

eng	Pointer to the engine.

bool pl_search::SemiDetPred::is_non_det ( )

inline

bool pl_search::SemiDetPred::more_choices ( )

inlineoverridevirtual

Applies a choice.

Reimplemented from pl_search::Pred.

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