|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.logic.Alphabet
public class Alphabet
this class models an alphabet, the set of all predicate symbols appearing in an extended logic program.
Field Summary | |
---|---|
(package private) java.util.Set<java.lang.String> |
allSet
|
(package private) java.util.Set<java.lang.String> |
bodySet
|
(package private) java.util.Set<java.lang.String> |
headSet
|
(package private) java.util.Set<java.lang.String> |
sharedSet
|
Constructor Summary | |
---|---|
Alphabet()
default constructor, results in an empty alphabet |
|
Alphabet(ELP program)
constructs an alphabet based on a given program |
Method Summary | |
---|---|
void |
addBodySymbol(java.lang.String sym)
adds a symbol appearing in a body of a program to the alphabet |
void |
addHeadSymbol(java.lang.String sym)
adds a symbol appearing in a head of a program to the alphabet |
void |
addSymbols(ELP program)
adds all functors symbols in a given program to the alphabet |
java.util.Set<java.lang.String> |
getBodySymbols()
returns the set of all functor names that appear at least in a body of a program rule |
java.util.Set<java.lang.String> |
getHeadSymbols()
returns the set of all functor names that appear at least in a head of a program rule |
java.util.Set<java.lang.String> |
getSharedSymbols()
returns the set of all functor names that appear in a head and a body of some rules in a program |
java.util.Set<java.lang.String> |
getSymbols()
returns the set of all functor names appearing in a program |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
java.util.Set<java.lang.String> headSet
java.util.Set<java.lang.String> bodySet
java.util.Set<java.lang.String> sharedSet
java.util.Set<java.lang.String> allSet
Constructor Detail |
---|
public Alphabet()
public Alphabet(ELP program)
program
- initial program to build alphabet fromMethod Detail |
---|
public void addSymbols(ELP program)
program
- logical program to add symbols frompublic java.util.Set<java.lang.String> getHeadSymbols()
public java.util.Set<java.lang.String> getBodySymbols()
public java.util.Set<java.lang.String> getSharedSymbols()
public java.util.Set<java.lang.String> getSymbols()
public void addHeadSymbol(java.lang.String sym)
sym
- functor symbol to addpublic void addBodySymbol(java.lang.String sym)
sym
- functor symbol to addpublic java.lang.String toString()
toString
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |