• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    迪恩网络公众号

Java ConstantFormula类代码示例

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

本文整理汇总了Java中kodkod.ast.ConstantFormula的典型用法代码示例。如果您正苦于以下问题:Java ConstantFormula类的具体用法?Java ConstantFormula怎么用?Java ConstantFormula使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。



ConstantFormula类属于kodkod.ast包,在下文中一共展示了ConstantFormula类的20个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于我们的系统推荐出更棒的Java代码示例。

示例1: edge

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
private void edge(Node n1, Node n2) {
	if (n2 instanceof LeafExpression || n2 instanceof ConstantFormula || n2 instanceof IntConstant) {

	}
	graph.append(id(n1));
	graph.append("->");
	graph.append(id(n2));
	graph.append(";\n");
}
 
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:10,代码来源:PrettyPrinter.java


示例2: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/** {@inheritDoc} */
public void visit(ConstantFormula x) {
	if (map.containsKey(x))
		return;
	String newname = (x.booleanValue() ? "Formula.TRUE" : "Formula.FALSE");
	map.put(x, newname);
}
 
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:8,代码来源:TranslateKodkodToJava.java


示例3: edge

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
private void edge(Node n1, Node n2) { 
	if (n2 instanceof LeafExpression || n2 instanceof ConstantFormula || n2 instanceof IntConstant) {
		
	}
	graph.append(id(n1));
	graph.append("->");
	graph.append(id(n2));
	graph.append(";\n");
}
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:10,代码来源:PrettyPrinter.java


示例4: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
@Override
public F visit(ConstantFormula constant) {
	start(constant);
	return end(constant, visitor.visit(constant));
}
 
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:6,代码来源:AspectReturnVisitor.java


示例5: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
public void visit(ConstantFormula formula) {
	relevant.add(formula);
}
 
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:4,代码来源:TrivialProof.java


示例6: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/** @see #visitFormula(Formula) */
public final void visit(ConstantFormula constant) {
	visitFormula(constant);
}
 
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:5,代码来源:FullNegationPropagator.java


示例7: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
@Override
public Proc visit(ConstantFormula constant) {
	return new Proc.FOL(bounds, constant);
}
 
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:5,代码来源:HOLTranslator.java


示例8: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/** @ensures this.tokens' = concat[ this.tokens, node ] */
public void visit(ConstantFormula node) {
	append(node);
}
 
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:5,代码来源:PrettyPrinter.java


示例9: parenthesize

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/**
 * @return true if the given formula should be parenthesized when a
 *         child of a compound parent
 */
private boolean parenthesize(Formula child) {
	return !(child instanceof NotFormula || child instanceof ConstantFormula
			|| child instanceof RelationPredicate);
}
 
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:9,代码来源:PrettyPrinter.java


示例10: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
public Boolean visit(ConstantFormula cnst) {
	return noHOL(cnst);
}
 
开发者ID:AlloyTools,项目名称:org.alloytools.alloy,代码行数:4,代码来源:AnnotatedNode.java


示例11: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/** {@inheritDoc} */
public void visit(ConstantFormula x) {
    if (map.containsKey(x)) return;
    String newname=(x.booleanValue() ? "Formula.TRUE" : "Formula.FALSE");
    map.put(x,newname);
}
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:7,代码来源:TranslateKodkodToJava.java


示例12: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/**
 * Returns Collections.EMPTY_SET
 * @return Collections.EMPTY_SET
 */
@SuppressWarnings("unchecked")
public Set<T> visit(ConstantFormula constant) {
	return Collections.EMPTY_SET;
}
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:9,代码来源:AbstractCollector.java


示例13: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
public void visit(ConstantFormula formula) { 
	relevant.add(formula);
}
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:4,代码来源:TrivialProof.java


示例14: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/** @see #visitFormula(Formula) */
public final void visit(ConstantFormula constant)   { visitFormula(constant); }
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:3,代码来源:FullNegationPropagator.java


示例15: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
@Override
public Formula visit(ConstantFormula constant) {
    boolean negOld = negated;
    negated = false;
    return addFormula(super.visit(constant), constant, negOld); 
}
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:7,代码来源:NNFConverter.java


示例16: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/**
 * @return constant = ConstantFormula.TRUE => BooleanConstant.TRUE, BooleanConstant.FALSE
 */
public final BooleanValue visit(ConstantFormula constant) {
	return cache(constant, BooleanConstant.constant(constant.booleanValue()));
}
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:7,代码来源:FOL2BoolTranslator.java


示例17: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/** @see #visitFormula(Formula) */
public final void visit(ConstantFormula constant)	{ visitFormula(constant); }
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:3,代码来源:FormulaFlattener.java


示例18: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/** @ensures this.tokens' = concat[ this.tokens, node ] */
public void visit(ConstantFormula node) { append(node); }
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:3,代码来源:PrettyPrinter.java


示例19: parenthesize

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/** @return true if the given formula should be parenthesized when a 
 * child of a compound parent */
private boolean parenthesize(Formula child) { 
	return !(child instanceof NotFormula || child instanceof ConstantFormula || 
			 child instanceof RelationPredicate);
}
 
开发者ID:ModelWriter,项目名称:Tarski,代码行数:7,代码来源:PrettyPrinter.java


示例20: visit

import kodkod.ast.ConstantFormula; //导入依赖的package包/类
/** @effects this.tokens' = concat[ this.tokens, node ] */
public void visit(ConstantFormula node) { append(node); }
 
开发者ID:wala,项目名称:MemSAT,代码行数:3,代码来源:PrettyPrinter.java



注:本文中的kodkod.ast.ConstantFormula类示例整理自Github/MSDocs等源码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。


鲜花

握手

雷人

路过

鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
上一篇:
Java StatusBarProgress类代码示例发布时间:2022-05-22
下一篇:
Java LegendGraphic类代码示例发布时间:2022-05-22
热门推荐
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服(服务时间 9:00~18:00)

在线QQ客服
地址:深圳市南山区西丽大学城创智工业园
电邮:jeky_zhao#qq.com
移动电话:139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap