Represents a Prolog like cut. When called it pops env_stack thus removing choicepoints. More...

#include <pred.hpp>

Inheritance diagram for pl_search::Cut:

[legend]

Collaboration diagram for pl_search::Cut:

[legend]

Public Member Functions
	Cut (Engine *eng, int index)
	Constructs a Cut predicate.

void	initialize_call () override
	Initializes the predicate call.

bool	apply_choice () override
	Applies a choice for the cut predicate.

void	set_cut_point (int cut_point)

Public Member Functions inherited from pl_search::DetPred
	DetPred (Engine *eng)
	Represents a deterministic predicate.

bool	apply_choice () override
	Noop - all the work is done in initialize_call.

Public Member Functions inherited from pl_search::SemiDetPred
	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.

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.

Protected Attributes
int	env_index

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

Engine *	engine

Detailed Description

Represents a Prolog like cut. When called it pops env_stack thus removing choicepoints.

Constructor & Destructor Documentation

inline

Constructs a Cut predicate.

Parameters

eng	Pointer to the engine.
index	An index into env_stack. When called, env_stack is popped to index.

bool pl_search::Cut::apply_choice ( )

overridevirtual

Applies a choice for the cut predicate.

Reimplemented from pl_search::Pred.

void pl_search::Cut::initialize_call ( )

inlineoverridevirtual

Initializes the predicate call.

Reimplemented from pl_search::Pred.

void pl_search::Cut::set_cut_point ( int cut_point )

inline

int pl_search::Cut::env_index

protected

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