| 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.