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

removeStaticClauses

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