Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
  * 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
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * See the License for the specific language governing permissions and
 * limitations under the License.
package com.thesett.aima.logic.fol.wam.builtins;
Implements the true atom. This always succeeds without generating any choice points.

CRC Card
Responsibilities Collaborations
Always succeed, consuming the 'true' goal.

Rupert Smith
public class True extends BaseBuiltIn
Creates a true built-in to implement the specified functor.

functor The functor to implement as a built in.
defaultBuiltIn The default built in, for standard compilation and interners and symbol tables.
    public True(Functor functorDefaultBuiltIn defaultBuiltIn)

    public SizeableLinkedList<WAMInstructioncompileBodyArguments(Functor expressionboolean isFirstBody,
        FunctorName clauseNameint bodyNumber)
        return new SizeableLinkedList<WAMInstruction>();

    public SizeableLinkedList<WAMInstructioncompileBodyCall(Functor expressionboolean isFirstBody,
        boolean isLastBodyboolean chainRuleint permVarsRemaining)
        return new SizeableLinkedList<WAMInstruction>();

Creates a string representation of this functor, mostly used for debugging purposes.

A string representation of this functor.
    public String toString()
        return "True";
New to GrepCode? Check out our FAQ X