public class OperatorSpec
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
Operator |
instance |
int |
objectBegin |
int |
objectEnd |
int |
quantifierBegin |
int |
quantifierEnd |
int |
quantifierHead |
int |
subjectBegin |
int |
subjectEnd |
Modifier | Constructor and Description |
---|---|
|
OperatorSpec(Operator instance,
int quantifierBegin,
int quantifierEnd,
int subjectBegin,
int subjectEnd,
int objectBegin,
int objectEnd) |
protected |
OperatorSpec(Operator instance,
int quantifierBegin,
int quantifierEnd,
int subjectBegin,
int subjectEnd,
int objectBegin,
int objectEnd,
int sentenceLength) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.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() |
java.lang.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)
protected OperatorSpec(Operator instance, int quantifierBegin, int quantifierEnd, int subjectBegin, int subjectEnd, int objectBegin, int objectEnd, int sentenceLength)
public boolean isExplicit()
"Felix is a cat" -> \forall x, Felix(x) \rightarrow cat(x).
public boolean isBinary()
public int quantifierLength()
public java.lang.String toString()
toString
in class java.lang.Object
public static OperatorSpec merge(OperatorSpec x, OperatorSpec y)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object