package it.unibo.tuprolog.theory.parsing
Classes
| Name | Description |
|---|---|
interface ClausesParser: Any
|
|
class ClausesParserImpl: ClausesParser, Any
|
|
interface ClausesReader: Any
|
Methods
clausesParserWithOperators
actual fun clausesParserWithOperators(operators: OperatorSet): ClausesParser
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
ClausesParser
|
parseAsTheory
fun String.parseAsTheory(operators: OperatorSet): Theory
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Theory
|
parseAsTheory
fun String.parseAsTheory(): Theory
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
Theory
|
parseAsClauses
fun String.parseAsClauses(operators: OperatorSet): List<Clause>
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
List<Clause>
|
parseAsClauses
fun String.parseAsClauses(): List<Clause>
Receiver
| Name | Description |
|---|---|
String
|
ReturnValue
| Name | Description |
|---|---|
List<Clause>
|
parseAsClausesLazily
fun String.parseAsClausesLazily(operators: OperatorSet): Sequence
Receiver
| Name | Description |
|---|---|
String
|
Parameters
| Name | Description |
|---|---|
operators: OperatorSet
|
ReturnValue
| Name | Description |
|---|---|
Sequence
|