Package | Description |
---|---|
edu.illinois.cs.cogcomp.lbjava.infer |
Modifier and Type | Class and Description |
---|---|
class |
AtLeastQuantifier
An "at least" quantifier states that the constraint must hold for at least m of the
objects in the collection.
|
class |
AtMostQuantifier
An "at most" quantifier states that the constraint must hold for no more than m of the
objects in the collection.
|
class |
ExistentialQuantifier
An existential quantifier states that the constraint must hold for at least one object from the
collection.
|
class |
UniversalQuantifier
A universal quantifier states that the constraint must hold for all objects from the collection.
|
Copyright © 2016. All rights reserved.