Uses of Interface
edu.unc.cs.comp524.parsers.prolog.Relation

Packages that use Relation

Package	Description
edu.unc.cs.comp524.parsers.prolog	Package holding prolog-parser code built for Comp 524 taught at the University of North Carolina Chapel Hill

Uses of Relation in edu.unc.cs.comp524.parsers.prolog

Subinterfaces of Relation in edu.unc.cs.comp524.parsers.prolog

Modifier and Type	Interface	Description
interface	Fact	The simplest kind of Relation: a fact.
interface	Rule	A more complicated Relation that has sub-rules (RuleInvocations) on the right-hand-side (Rule.rhs()).

Classes in edu.unc.cs.comp524.parsers.prolog that implement Relation

Modifier and Type	Class	Description
class	AFact	The default concrete Fact implementation.
class	ARelation	Abstract super-class that handles most of the Relation details.
class	ARule	The default concrete Rule implementation.

Methods in edu.unc.cs.comp524.parsers.prolog that return types with arguments of type Relation

Modifier and Type	Method	Description
Map<String,List<Relation>>	AProgram.clauses()
Map<String,List<Relation>>	Program.clauses()	The program's clauses.
default Stream<Relation>	Program.relations()	All the Relations in the program
default List<Relation>	Program.relationsWithComments()	All Relations that have comments.

Methods in edu.unc.cs.comp524.parsers.prolog with parameters of type Relation

Modifier and Type	Method	Description
boolean	ARuleInvocation.isInvocationOf(Relation r)
boolean	RuleInvocation.isInvocationOf(Relation r)	Implementation-defined.

Method parameters in edu.unc.cs.comp524.parsers.prolog with type arguments of type Relation

Modifier and Type	Method	Description
static Stream<RuleInvocation>	Program.invocations(Stream<Relation> relations)	All the RuleInvocations on the right-hand-side of the Rules in the stream of Relations
static Stream<Rule>	Program.rules(Stream<Relation> relations)	Only the Rules in the stream of Relations

Constructor parameters in edu.unc.cs.comp524.parsers.prolog with type arguments of type Relation

Constructor	Description
AProgram(List<Relation> clauses)
AProgram(Map<String,List<Relation>> clauses)