java.lang.Cloneable
, java.lang.Iterable<java.lang.Object>
public class CP extends LRel implements java.lang.Cloneable
USEJOLLYTOKEN
Constructor | Description |
---|---|
CP() |
CONSTRUCTORS
|
CP(java.lang.String n) |
|
CP(java.lang.String n,
CP cp) |
|
CP(java.lang.String n,
LSet a,
LSet b) |
|
CP(CP cp) |
|
CP(LSet a,
LSet b) |
Modifier and Type | Method | Description |
---|---|---|
java.lang.Object |
accept(jsetl.Visitor visitor) |
Implementation of this method is needed for the Visitor design pattern.
|
CP |
clone() |
GENERAL METHODS
|
boolean |
equals(CP cp) |
|
LSet |
expand() |
|
LSet |
getFirstSet() |
|
LSet |
getSecondSet() |
|
int |
getSize() |
Returns the number of distinct elements of this logical set
(0 for the empty or uninitialized logical set).
|
boolean |
isEmpty() |
Tests if this logical collection is bound and empty.
|
boolean |
isGround() |
Tests if this
LCollection contains any non-ground logical object. |
void |
output() |
Prints the name and the value of this logical object to standard output.
|
CP |
setName(java.lang.String n) |
Sets the name of this
LRel to name . |
java.lang.String |
toString() |
Returns a string corresponding to the logical set value.
|
forallElems, isClosed, iterator, testContains, toArray
comp, dom, dres, empty, getValue, id, id, ins, ins, insAll, insAll, inv, ncomp, ndom, ndres, nid, ninv, nran, nrres, ran, rres, setValue
contains, diff, diff, diff, diff, disj, disj, eq, eq, equals, getTail, ins, insAll, insAll, inters, inters, inters, inters, less, less, less, less, mkSet, ncontains, ndiff, ndiff, ndiff, ndiff, ndisj, ndisj, neq, neq, ninters, ninters, ninters, ninters, normalizeSet, nsubset, nsubset, nunion, nunion, nunion, nunion, occurs, printElems, size, size, subset, subset, union, union, union, union
public CP()
public CP(java.lang.String n)
public CP(CP cp)
public CP(java.lang.String n, CP cp)
public boolean equals(CP cp)
public int getSize()
LSet
public boolean isEmpty()
LCollection
isEmpty
in class LCollection
true
if and only if this LCollection
is bound and has no elements,
that is, its size is zero; false
if it bound and has at least one element.public boolean isGround()
LCollection
LCollection
contains any non-ground logical object.isGround
in class LCollection
true
if this object is empty, completely specified
and does not contain non-ground logical objects,
false
otherwise.public CP setName(java.lang.String n)
LRel
LRel
to name
.public LSet expand()
public java.lang.String toString()
LSet
toString()
to the rest of this collection, if r is not empty.public void output()
LObject
public java.lang.Object accept(jsetl.Visitor visitor)
LRel
public LSet getFirstSet()
public LSet getSecondSet()