org.lightjason.agentspeak.language.unify.CRecursive Class Reference

recursive unify More...

Inheritance diagram for org.lightjason.agentspeak.language.unify.CRecursive:

Collaboration diagram for org.lightjason.agentspeak.language.unify.CRecursive:

Public Member Functions
final< 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

Todo:

reduce npath complexity

Definition at line 45 of file CRecursive.java.

Member Function Documentation

unify()

final<T extends ITerm> boolean org.lightjason.agentspeak.language.unify.CRecursive.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

Implements org.lightjason.agentspeak.language.unify.IUnifier.IAlgorithm.

Definition at line 49 of file CRecursive.java.

References org.lightjason.agentspeak.language.ITerm.fqnfunctor(), and org.lightjason.agentspeak.language.ILiteral.orderedvalues().

Here is the call graph for this function: