io.github.kelvindev15.prolog.core.Goals.Disjunction
See theDisjunction companion object
trait Disjunction extends BinaryRecursiveStruct
Represents a disjunction of goals.
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
trait BinaryRecursiveStructtrait RecursiveStructtrait Structtrait Termtrait Visitabletrait TermConvertibleclass Objecttrait Matchableclass AnyShow all
Members list
Value members
Concrete methods
Inherited methods
Return this term. Inheritors should use possibly only Variables, Constantss and Structs.
Return this term. Inheritors should use possibly only Variables, Constantss and Structs.
Attributes
- Definition Classes
- Inherited from:
- BinaryRecursiveStruct
The first argument of the struct.
Executes an action over all arguments of the struct.
Executes an action over all arguments of the struct.
Value parameters
- action
-
the action to be performed.
Attributes
- Definition Classes
- Inherited from:
- RecursiveStruct
Returns the application of the substitution to this term.
Returns the application of the substitution to this term.
Value parameters
- substitution
-
the substitution to apply.
Attributes
- Inherited from:
- Term
All arguments of the struct linearized in a list.
All arguments of the struct linearized in a list.
Attributes
- Definition Classes
- Inherited from:
- BinaryRecursiveStruct
The second argument of the struct.
Attributes
- Definition Classes
- Inherited from:
- Term
Inherited fields
The arguments of the predicates
The arity of the predicate
In this article