SpecificRules

object SpecificRules: Any

Fields

Name Description
val wrappers: sequenceOf( Catch, Call, Comma, Cut, NegationAsFailure.Fail, NegationAsFailure.Success )
val theory: Theory