Package edu.unc.cs.comp524.parsers.prolog

Class AFact

java.lang.Object

edu.unc.cs.comp524.parsers.prolog.ARelation

edu.unc.cs.comp524.parsers.prolog.AFact

All Implemented Interfaces:

Fact, Relation

public final class AFact
extends ARelation
implements Fact

The default concrete Fact implementation.

Constructor Summary

Constructors

Constructor	Description
AFact(PrologParser.AtomContext atom, PrologParser.TermlistContext termlist, Optional<Comment> comment)	Constructor for use with PrologParser-related objects.
AFact(String name, List<org.antlr.v4.runtime.tree.ParseTree> args, Optional<Comment> comment)

Method Summary

Methods inherited from class edu.unc.cs.comp524.parsers.prolog.ARelation

args, arity, comment, name, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface edu.unc.cs.comp524.parsers.prolog.Relation

args, arity, comment, name

Constructor Details

AFact

public AFact(PrologParser.AtomContext atom, PrologParser.TermlistContext termlist, Optional<Comment> comment)

Constructor for use with PrologParser-related objects.

Parameters:

atom - Context from which to derive ARelation.name

termlist - Context from which to derive ARelation.args

AFact

public AFact(String name, List<org.antlr.v4.runtime.tree.ParseTree> args, Optional<Comment> comment)