solve/it.unibo.tuprolog.solve.library/Library/hasProtected

hasProtected

open fun hasProtected(signature: Signature): Boolean
Content copied to clipboard

Checks whether the provided signature, is protected in this library