package it.unibo.tuprolog.solve.libs.oop.rules
Classes
Name | Description |
---|---|
class Alias: RuleWrapper<ExecutionContext>
|
|
sealed class ColonEquals: RuleWrapper<ExecutionContext>
|
|
object Dot: RuleWrapper<ExecutionContext>
|
|
sealed class FluentReduce: RuleWrapper<ExecutionContext>
|
|
object NewObject2: RuleWrapper<ExecutionContext>
|
|
sealed class PropertyReduce: RuleWrapper<ExecutionContext>
|
|