solve/it.unibo.tuprolog.solve.sideffects/SideEffectFactory/removeDynamicClauses

removeDynamicClauses

open fun removeDynamicClauses(clauses: Iterable<<ERROR CLASS>>): SideEffect.RemoveDynamicClauses
Content copied to clipboard
open fun removeDynamicClauses(clauses: Sequence<<ERROR CLASS>>): SideEffect.RemoveDynamicClauses
Content copied to clipboard
open fun removeDynamicClauses(vararg clauses: <ERROR CLASS>): SideEffect.RemoveDynamicClauses
Content copied to clipboard