TypedTerm.Builder (hydra-kernel 0.17.6 API)

java.lang.Object
- hydra.typed.TypedTerm.Builder<A>

Enclosing class:: TypedTerm<A>

public static final class TypedTerm.Builder<A>
extends java.lang.Object

A fluent builder for TypedTerm.

- Constructor Summary
  
  Constructors
  Constructor Description
  
  Builder()
- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  TypedTerm<A> build()
  Builds an immutable TypedTerm.
  
  TypedTerm.Builder<A> value(Term value)
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail
- Builder
```
public Builder()
```

Method Detail

value

public TypedTerm.Builder<A> value(Term value)

build
```
public TypedTerm<A> build()
```
Builds an immutable TypedTerm.