Low Level Conceptual Guide

Graphs

At its core, LangGraph4j models agent workflows as graphs. You define the behavior of your agents using three key components:

  1. State: A shared data structure that represents the current snapshot of your application. It is represented by an AgentState object.

  2. Nodes: A Functional Interface (AsyncNodeAction) that encode the logic of your agents. They receive the current State as input, perform some computation or side-effect, and return an updated State.

  3. Edges: A Functional Interface (AsyncEdgeAction) that determine which Node to execute next based on the current State. They can be conditional branches or fixed transitions.

By composing Nodes and Edges, you can create complex, looping workflows that evolve the State over time. The real power, though, comes from how LangGraph4j manages that State. To emphasize: Nodes and Edges are like functions - they can contain an LLM or just Java code.

In short: nodes do the work. edges tell what to do next.

StateGraph

The StateGraph class is the main graph class to uses. This is parameterized by a user defined State object.

Compiling your graph

To build your graph, you first define the state, you then add nodes and edges, and then you compile it. What exactly is compiling your graph and why is it needed?

Compiling is a pretty simple step. It provides a few basic checks on the structure of your graph (no orphaned nodes, etc). It is also where you can specify runtime args like checkpointers and breakpoints. You compile your graph by just calling the .compile method:

// compile your graph
var graph = graphBuilder.compile(...);

You MUST compile your graph before you can use it.

State

The first thing you do when you define a graph is define the State of the graph. The State consists of the schema of the graph as well as reducer functions which specify how to apply updates to the state. The schema of the State will be the input schema to all Nodes and Edges in the graph, and should be defined using a map of Channel object. All Nodes will emit updates to the State which are then applied using the specified reducer function.

Schema

The way to specify the schema of a graph is by defining map of Channel objects where each key is an item in the state. If no Channel is specified for an item then it is assumed that all updates to that item should override it.

Reducers

Reducers are key to understanding how updates from nodes are applied to the State. Each key in the State has its own independent reducer function. If no reducer function is explicitly specified then it is assumed that all updates to that key should override it. Let's take a look at a few examples to understand them better.

Example A:

static class MessagesState extends AgentState {

    static Map<String, Channel<?>> SCHEMA = mapOf(
            "messages", AppenderChannel.<String>of(ArrayList::new)
    );
}

var graphBuilder = new StateGraph<>( MessagesState.SCHEMA, MessagesState::new)

In this example we specify for messages property a particular channel AppenderChannel which use a built-in [Reducer] to accumulate values.

You can also specify a custom reducer for a particular state property

Example B:

static class MyState extends AgentState {

    static Map<String, Channel<?>> SCHEMA = mapOf(
            "property", Channel.<String>of( ( oldValue, newValue ) -> newValue.toUpperCase() )
    );
}

var graphBuilder = new StateGraph<>( MessagesState.SCHEMA, MyState::new)

Serializer

During graph execution the state needs to be serialized (mostly for cloning purpose) also for providing ability to persist the state across different executions. To do this we have provided a new streighforward implementation based on Serializer interface.

Why create a new Serialization framework ?

  1. Doesn't rely on unsafe standard serialization framework.
  2. Allow to implement serialization also to third-party (non serializable) classes
  3. Avoid as much as possible class loading problem
  4. Manage nullable value in serialization process

Features

  • [x] Allow to serialize using the java built-in standard binary serialization technique
  • [x] Allow to plug also different serialization techniques

Currently the main class for state's serialization using built-in java stream is ObjectStreamStateSerializer. It is also available an abstraction allowing to plug serialization techniques text based like JSON and/or YAML that is PlainTextStateSerializer.

Out of the Box

There are several provided Serializers out-of-the-box:

class description
ListSerializer built-in List<Object> serializer
MapSerializer built-in Map<String,Object> serializer
   
AiMessageSerializer langchain4j AiMessage Serializer
ChatMesssageSerializer langchain4j ChatMesssage Serializer
SystemMessageSerializer langchain4j SystemMessage Serializer
UserMessageSerializer langchain4j UserMessage Serializer
ToolExecutionRequestSerializer langchain4j ToolExecutionRequest Serializer
ToolExecutionResultMessageSerializer langchain4j ToolExecutionResultMessage Serializer

Nodes

In LangGraph4j, nodes are typically a Functional Interface (AsyncNodeAction) where the argument is the state, you add these nodes to a graph using the addNode method:

import static org.bsc.langgraph4j.action.AsyncEdgeAction.edge_async;
import static org.bsc.langgraph4j.action.AsyncNodeAction.node_async;
import static org.bsc.langgraph4j.utils.CollectionsUtils.mapOf;

public class State extends AgentState {

  public State(Map<String, Object> initData) {
    super( initData  );
  }

  Optional<String> input() { return value("input"); } 
  Optional<String> results() { return value("results"); } 
 
}

AsyncNodeAction<State> myNode = node_async(state -> {
    System.out.println( "In myNode: " );
    return mapOf( results: "Hello " + state.input().orElse( "" ) );  
});

AsyncNodeAction<State> myOtherNode = node_async(state -> state);

var builder = new StateGraph( State::new )
  .addNode("myNode", myNode)
  .addNode("myOtherNode", myOtherNode)

Since AsyncNodeAction is designed to work with CompletableFuture, you can use node_async static method that adapt it to a simpler syncronous scenario.

START Node

The START Node is a special node that represents the node sends user input to the graph. The main purpose for referencing this node is to determine which nodes should be called first.

import static org.bsc.langgraph4j.StateGraph.START;

graph.addEdge(START, "nodeA");

END Node

The END Node is a special node that represents a terminal node. This node is referenced when you want to denote which edges have no actions after they are done.

import static org.bsc.langgraph4j.StateGraph.END;

graph.addEdge("nodeA", END);

Edges

Edges define how the logic is routed and how the graph decides to stop. This is a big part of how your agents work and how different nodes communicate with each other. There are a few key types of edges:

  • Normal Edges:

    Go directly from one node to the next.

  • Conditional Edges:

    Call a function to determine which node(s) to go to next.

  • Entry Point:

    Which node to call first when user input arrives.

  • Conditional Entry Point:

    Call a function to determine which node(s) to call first when user input arrives.

Normal Edges

If you always want to go from node A to node B, you can use the addEdge method directly.

// add a normal edge
graph.addEdge("nodeA", "nodeB");

Conditional Edges

If you want to optionally route to 1 or more edges (or optionally terminate), you can use the addConditionalEdges method. This method accepts the name of a node and a Functional Interface (AsyncEdgeAction) that will be used as " routing function" to call after that node is executed:

import static org.bsc.langgraph4j.utils.CollectionsUtils.mapOf;

graph.addConditionalEdges("nodeA", routingFunction, mapOf( "first": "nodeB", "second": "nodeC" ) );

Similar to nodes, the routingFunction accept the current state of the graph and return a string value.

You must provide an object that maps the routingFunction's output to the name of the next node.

Entry Point

The entry point is the first node(s) that are run when the graph starts. You can use the addEdge method from the virtual START node to the first node to execute to specify where to enter the graph.

import static org.bsc.langgraph4j.StateGraph.START;

graph.addEdge(START, "nodeA");

Conditional Entry Point

A conditional entry point lets you start at different nodes depending on custom logic. You can use addConditionalEdges from the virtual START node to accomplish this.

import static org.bsc.langgraph4j.StateGraph.START;
import static org.bsc.langgraph4j.utils.CollectionsUtils.mapOf;

graph.addConditionalEdges(START, routingFunction, mapOf( "first": "nodeB", "second": "nodeC" ) );

You must provide an object that maps the routingFunction's output to the name of the next node.

Checkpointer

LangGraph4j has a built-in persistence layer, implemented through Checkpointers. When you use a checkpointer with a graph, you can interact with the state of that graph. When you use a checkpointer with a graph, you can interact with and manage the graph's state. The checkpointer saves a checkpoint of the graph state at every step, enabling several powerful capabilities:

First, checkpointers facilitate human-in-the-loop workflows workflows by allowing humans to inspect, interrupt, and approve steps. Checkpointers are needed for these workflows as the human has to be able to view the state of a graph at any point in time, and the graph has to be to resume execution after the human has made any updates to the state.

Second, it allows for “memory” between interactions. You can use checkpointers to create threads and save the state of a thread after a graph executes. In the case of repeated human interactions (like conversations) any follow up messages can be sent to that checkpoint, which will retain its memory of previous ones.

See this guide for how to add a checkpointer to your graph.

Threads

Threads enable the checkpointing of multiple different runs, making them essential for multi-tenant chat applications and other scenarios where maintaining separate states is necessary. A thread is a unique ID assigned to a series of checkpoints saved by a checkpointer. When using a checkpointer, you must specify a thread_id when running the graph.

thread_id is simply the ID of a thread. This is always required

You must pass these when invoking the graph as part of the configurable part of the config.


RunnableConfig config = RunnableConfig.builder()
                                  .threadId("a")
                                  .build();
graph.invoke(inputs, config);

See this guide for how to use threads.

Checkpointer state

When interacting with the checkpointer state, you must specify a thread identifier. Each checkpoint saved by the checkpointer has two properties:

  • state: This is the value of the state at this point in time.
  • nextNodeId: This is the Idenfier of the node to execute next in the graph.

Get state

You can get the state of a checkpointer by calling graph.getState(config). The config should contain thread_id, and the state will be fetched for that thread.

Get state history

You can also call graph.getStateHistory(config) to get a list of the history of the graph. The config should contain thread_id, and the state history will be fetched for that thread.

Update state

You can also interact with the state directly and update it using graph.updateState(config,values,asNode). This takes three different components:

  • config
  • values
  • asNode

config

The config should contain thread_id specifying which thread to update.

values

These are the values that will be used to update the state. Note that this update is treated exactly as any update from a node is treated. This means that these values will be passed to the reducer functions that are part of the state. So this does NOT automatically overwrite the state.

asNode

The final thing you specify when calling updateState is asNode. This update will be applied as if it came from node asNode. If asNode is null, it will be set to the last node that updated the state.

Breakpoints

It can often be useful to set breakpoints before or after certain nodes execute. This can be used to wait for human approval before continuing. These can be set when you “compile” a graph. You can set breakpoints either before a node executes (using interruptBefore) or after a node executes (using interruptAfter.)

You MUST use a checkpoiner when using breakpoints. This is because your graph needs to be able to resume execution.

In order to resume execution, you can just invoke your graph with null as the input.

// Initial run of graph
graph.invoke(inputs, config);

// Let's assume it hit a breakpoint somewhere, you can then resume by passing in None
graph.invoke(null, config);

See this guide for a full walkthrough of how to add breakpoints.

Visualization

It's often nice to be able to visualize graphs, especially as they get more complex. LangGraph4j comes with several built-in ways to visualize graphs using diagram-as-code tools such as PlantUML and Mermaid through the graph.getGraph method.

// for PlantUML
GraphRepresentation result = app.getGraph(GraphRepresentation.Type.PLANTUML);

System.out.println(result.getContent());

// for Mermaid
GraphRepresentation result = app.getGraph(GraphRepresentation.Type.MERMAID);
System.out.println(result.getContent());