com.thesett.aima.logic.fol.VariableBindingContext Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of logic Show documentation

Rich syntax trees and parsers for working with first order logic.

There is a newer version: 0.9.97

/*
 * Copyright The Sett Ltd, 2005 to 2014.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package com.thesett.aima.logic.fol;

/**
 * VariableBindingContext provides a reference to the storage cell in which a {@link Variable} holds its binding.
 *
 * 
 * CRC Card Responsibilities
 * 
 Provide the storage cell for a variable.
 * 
 *
 * @author Rupert Smith
 */
public interface VariableBindingContext
{
    /**
     * Provides the storage cell for the specified variable. Some types of variable may defer their storage onto a
     * storage cell other than themselves, other variable types may simply return themselves as their own storage cells.
     *
     * @param  variable The variable to get the storage cell for.
     *
     * @return The storage cell where the specified variable sets its bindings.
     */
    Variable getStorageCell(V variable);
}