org.lightjason.agentspeak.language.unify.IUnifier.IAlgorithm Interface Reference

unify algorithm More...

Inheritance diagram for org.lightjason.agentspeak.language.unify.IUnifier.IAlgorithm:

Collaboration diagram for org.lightjason.agentspeak.language.unify.IUnifier.IAlgorithm:

Public Member Functions
< T extends ITerm > boolean	unify (final Set< IVariable<?>> p_variables, final Stream< T > p_source, final Stream< T > p_target)
	unify algorithm More...

Detailed Description

Definition at line 97 of file IUnifier.java.

Member Function Documentation

unify()

<T extends ITerm> boolean org.lightjason.agentspeak.language.unify.IUnifier.IAlgorithm.unify	(	final Set< IVariable<?>>	p_variables,
		final Stream< T >	p_source,
		final Stream< T >	p_target
	)

Parameters

p_variables	unified variables
p_source	source stream of terms
p_target	target stream of terms with variables (must be a deep-copy)

Returns

boolean of unify success

Template Parameters

T

term type

Implemented in org.lightjason.agentspeak.language.unify.CRecursive, and org.lightjason.agentspeak.language.unify.CHash.

Referenced by org.lightjason.agentspeak.language.unify.CUnifier.unify().

Here is the caller graph for this function: