## ImpliesAtom class [​](/content/docs/sdk/core.impliesatom#impliesatom-class "Direct link to ImpliesAtom class"/index.html)

6.5.5. implies Returns true if left is true and right is true, true left is false and right true, false or empty true left is empty

**Signature:**

```typescript
export declare class ImpliesAtom extends InfixOperatorAtom
```

**Extends:** [InfixOperatorAtom](/content/docs/sdk/core.infixoperatoratom)

## Constructors [​](/content/docs/sdk/core.impliesatom#constructors "Direct link to Constructors"/index.html)

| Constructor | Modifiers | Description |
| --- | --- | --- |
| [(constructor)(left, right)](/content/docs/sdk/core.impliesatom._constructor_/index.html) |  | Constructs a new instance of the `ImpliesAtom` class |

## Methods [​](/content/docs/sdk/core.impliesatom#methods "Direct link to Methods"/index.html)

| Method | Modifiers | Description |
| --- | --- | --- |
| [eval(context, input)](/content/docs/sdk/core.impliesatom.eval) |  |  |

- [ImpliesAtom class](/content/docs/sdk/core.impliesatom#impliesatom-class/index.html)
- [Constructors](/content/docs/sdk/core.impliesatom#constructors/index.html)
- [Methods](/content/docs/sdk/core.impliesatom#methods/index.html)