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
|