public class OperatorSpec extends Object
| Modifier and Type | Field and Description |
|---|---|
Operator |
instance |
int |
objectBegin |
int |
objectEnd |
int |
quantifierBegin |
int |
quantifierEnd |
int |
quantifierHead |
int |
subjectBegin |
int |
subjectEnd |
| Constructor and Description |
|---|
OperatorSpec(Operator instance,
int quantifierBegin,
int quantifierEnd,
int subjectBegin,
int subjectEnd,
int objectBegin,
int objectEnd) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object o) |
int |
hashCode() |
boolean |
isBinary() |
boolean |
isExplicit()
If true, this is an explicit quantifier, such as "all" or "some."
The other option is for this to be an implicit quantification, for instance with proper names:
"Felix is a cat" -> \forall x, Felix(x) \rightarrow cat(x). |
static OperatorSpec |
merge(OperatorSpec x,
OperatorSpec y) |
int |
quantifierLength() |
String |
toString() |
public final Operator instance
public final int quantifierBegin
public final int quantifierEnd
public final int quantifierHead
public final int subjectBegin
public final int subjectEnd
public final int objectBegin
public final int objectEnd
public OperatorSpec(Operator instance, int quantifierBegin, int quantifierEnd, int subjectBegin, int subjectEnd, int objectBegin, int objectEnd)
public boolean isExplicit()
"Felix is a cat" -> \forall x, Felix(x) \rightarrow cat(x).
public boolean isBinary()
public int quantifierLength()
public static OperatorSpec merge(OperatorSpec x, OperatorSpec y)