core/it.unibo.tuprolog.argumentation.core.runtime/Arg2pUnificator/merge

merge

open override fun merge(substitution1: Substitution, substitution2: Substitution): Substitution
open override fun merge(substitution1: Substitution, substitution2: Substitution, occurCheckEnabled: Boolean): Substitution
Generated by Dokka
arg2p